← Back to branch summary

~tapaal-contributor/verifypn/unfoldTACPN

~tapaal-contributor/verifypn/unfoldTACPN

Viewing all changes in revision 235.

Committer: tpede16 at aau
Date: 2021-02-25 10:03:51 UTC
Revision ID: tpede16@student.aau.dk-20210225100351-hdwax3ktqci2uuea

Add colortype to dot colors and fix writing of arc weights

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

include/PetriEngine/Colored/Expressions.h

src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp

src/PetriEngine/Colored/Multiset.cpp

src/PetriEngine/PetriNet.cpp

src/PetriEngine/PetriNetBuilder.cpp

Show diffs side-by-side

added added

removed removed

include/PetriEngine/Colored/Colors.h

include/PetriEngine/Colored/Expressions.h

src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp

src/PetriEngine/Colored/Multiset.cpp

src/PetriEngine/PetriNet.cpp

src/PetriEngine/PetriNetBuilder.cpp

Older »