← Back to branch summary

~verifypn-stub/verifypn/petri-tar

~verifypn-stub/verifypn/petri-tar

Viewing all changes in revision 231.

Committer: Peter G. Jensen
Date: 2018-01-07 14:10:40 UTC
Revision ID: peter.gjoel@gmail.com-20180107141040-q6wqogxqc8jy22je

slow, but works on local database

files modified:
PetriEngine/PQL/Expressions.cpp

PetriEngine/PQL/Expressions.h

PetriEngine/PQL/PQL.h

PetriEngine/PetriNet.cpp

PetriEngine/Reachability/TARReachability.cpp

PetriEngine/TAR/TARAutomata.h

Show diffs side-by-side

added added

removed removed

PetriEngine/PQL/Expressions.cpp

PetriEngine/PQL/Expressions.h

PetriEngine/PQL/PQL.h

PetriEngine/PetriNet.cpp

PetriEngine/Reachability/TARReachability.cpp

PetriEngine/TAR/TARAutomata.h

Older »