← Back to branch summary

~verifypn-cpn/verifypn/optimize-unfolding

~verifypn-cpn/verifypn/optimize-unfolding

Viewing all changes in revision 252.

Committer: tpede16 at aau
Date: 2021-05-11 12:54:32 UTC
Revision ID: tpede16@student.aau.dk-20210511125432-80sygwzi3cfjccb9

Fix application of partitions

files modified:
include/PetriEngine/Colored/EquivalenceClass.h

include/PetriEngine/Colored/Intervals.h

src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp

src/PetriEngine/Colored/PartitionBuilder.cpp

Show diffs side-by-side

added added

removed removed

include/PetriEngine/Colored/EquivalenceClass.h

include/PetriEngine/Colored/Intervals.h

src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp

src/PetriEngine/Colored/PartitionBuilder.cpp

Older »