← Back to branch summary

~verifypn-cpn/verifypn/cpn-rule-i

~verifypn-cpn/verifypn/cpn-rule-i

Viewing all changes in revision 260.

Committer: Andreas Klostergaard
Date: 2018-04-01 23:52:14 UTC
Revision ID: aklost11@student.aau.dk-20180401235214-1mpo09ijiayrqwx7

First draft of a finished rule I reducer.

files modified:
PetriEngine/Colored/ColoredNetStructures.h

PetriEngine/Colored/ColoredPetriNetBuilder.cpp

PetriEngine/Colored/ColoredPetriNetBuilder.h

PetriEngine/Colored/ColoredReducer.cpp

PetriEngine/Colored/ColoredReducer.h

PetriEngine/PQL/Contexts.h

PetriEngine/PQL/Expressions.cpp

VerifyPN.cpp

Show diffs side-by-side

added added

removed removed

PetriEngine/Colored/ColoredNetStructures.h

PetriEngine/Colored/ColoredPetriNetBuilder.cpp

PetriEngine/Colored/ColoredPetriNetBuilder.h

PetriEngine/Colored/ColoredReducer.cpp

PetriEngine/Colored/ColoredReducer.h

PetriEngine/PQL/Contexts.h

PetriEngine/PQL/Expressions.cpp

Older »