← Back to branch summary

~tapaal-contributor/verifypn/update-parser

~tapaal-contributor/verifypn/update-parser

Viewing all changes in revision 273.

Committer: Peter G. Jensen
Date: 2021-06-22 13:10:13 UTC
Revision ID: root@petergjoel.dk-20210622131013-jobepxsww3ebhkza

cleanup

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

include/PetriEngine/Colored/Colors.h

include/PetriEngine/Colored/Intervals.h

include/PetriEngine/Colored/Multiset.h

include/PetriEngine/Colored/PartitionBuilder.h

src/PetriEngine/Colored/BindingGenerator.cpp

src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp

src/PetriEngine/Colored/Colors.cpp

src/PetriEngine/Colored/EquivalenceVec.cpp

src/PetriEngine/Colored/GuardRestrictor.cpp

src/PetriEngine/Colored/Multiset.cpp

src/PetriEngine/Colored/PartitionBuilder.cpp

Show diffs side-by-side

added added

removed removed

include/PetriEngine/Colored/BindingGenerator.h

include/PetriEngine/Colored/Colors.h

include/PetriEngine/Colored/Intervals.h

include/PetriEngine/Colored/Multiset.h

include/PetriEngine/Colored/PartitionBuilder.h

src/PetriEngine/Colored/BindingGenerator.cpp

src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp

src/PetriEngine/Colored/Colors.cpp

src/PetriEngine/Colored/EquivalenceVec.cpp

src/PetriEngine/Colored/GuardRestrictor.cpp

src/PetriEngine/Colored/Multiset.cpp

src/PetriEngine/Colored/PartitionBuilder.cpp

Older »