← Back to branch summary

~tapaal-ltl/verifypn/interesting-trans-stub

~tapaal-ltl/verifypn/interesting-trans-stub

Viewing all changes in revision 259.

Committer: Simon Virenfeldt
Date: 2021-02-24 10:18:13 UTC
Revision ID: simwir1@gmail.com-20210224101813-c9qzzd4becdlgopi

Added mutating visitor, EvalAndSetVisitor and added negate if satisfied to interesting transition visitor

files modified:
include/PetriEngine/PQL/Expressions.h

include/PetriEngine/PQL/PQL.h

include/PetriEngine/Stubborn/InterestingTransitionVisitor.h

src/LTL/Algorithm/StubbornTarjanModelChecker.cpp

src/LTL/Stubborn/CMakeLists.txt

src/LTL/Stubborn/LTLStubbornSet.cpp

src/PetriEngine/PQL/Expressions.cpp

src/PetriEngine/ReducingSuccessorGenerator.cpp

src/PetriEngine/Stubborn/InterestingTransitionVisitor.cpp

src/VerifyPN.cpp

Show diffs side-by-side

added added

removed removed

include/PetriEngine/PQL/Expressions.h

include/PetriEngine/PQL/PQL.h

include/PetriEngine/Stubborn/InterestingTransitionVisitor.h

src/LTL/Algorithm/StubbornTarjanModelChecker.cpp

src/LTL/Stubborn/CMakeLists.txt

src/LTL/Stubborn/LTLStubbornSet.cpp

src/PetriEngine/PQL/Expressions.cpp

src/PetriEngine/ReducingSuccessorGenerator.cpp

src/PetriEngine/Stubborn/InterestingTransitionVisitor.cpp

src/VerifyPN.cpp

Older »