← Back to branch summary

~tapaal-ltl/verifypn/ltl-stubborn-set

~tapaal-ltl/verifypn/ltl-stubborn-set

Viewing all changes in revision 277.

Committer: Nikolaj Jensen Ulrik
Date: 2021-04-06 13:21:53 UTC
mfrom: (226.1.27 ltl-trunk)
Revision ID: nikolaj@njulrik.dk-20210406132153-m11korhsc3m7mxfv

Merge ltl-trunk@253

files added:
include/PetriEngine/Colored/ArcIntervals.h

include/PetriEngine/Colored/BindingGenerator.h

include/PetriEngine/Colored/GuardRestrictor.h

include/PetriEngine/Colored/IntervalGenerator.h

include/PetriEngine/Colored/Intervals.h

src/PetriEngine/Colored/BindingGenerator.cpp

src/PetriEngine/Colored/GuardRestrictor.cpp

files modified:
CMakeLists.txt

include/CTL/Algorithm/CertainZeroFPA.h

include/CTL/DependencyGraph/Configuration.h

include/CTL/DependencyGraph/Edge.h

include/CTL/PetriNets/PetriConfig.h

include/LTL/LTLToBuchi.h

include/LTL/LTLValidator.h

include/LTL/Stubborn/EvalAndSetVisitor.h

include/LTL/Stubborn/VisibleTransitionVisitor.h

include/PetriEngine/Colored/ColoredNetStructures.h

include/PetriEngine/Colored/ColoredPetriNetBuilder.h

include/PetriEngine/Colored/Colors.h

include/PetriEngine/Colored/Expressions.h

include/PetriEngine/PQL/CTLVisitor.h

include/PetriEngine/PQL/Expressions.h

include/PetriEngine/PQL/MutatingVisitor.h

include/PetriEngine/PQL/QueryPrinter.h

include/PetriEngine/PQL/Visitor.h

include/PetriEngine/Structures/StateSet.h

include/PetriEngine/Structures/binarywrapper.h

include/PetriEngine/Stubborn/InterestingTransitionVisitor.h

include/PetriEngine/TAR/ContainsVisitor.h

include/PetriEngine/TAR/PlaceUseVisitor.h

include/PetriEngine/TAR/RangeContext.h

include/PetriEngine/TAR/RangeEvalContext.h

include/PetriEngine/TAR/range.h

include/PetriEngine/options.h

include/PetriParse/PNMLParser.h

src/CMakeLists.txt

src/CTL/Algorithm/CertainZeroFPA.cpp

src/CTL/Algorithm/LocalFPA.cpp

src/CTL/DependencyGraph/Configuration.cpp

src/CTL/PetriNets/OnTheFlyDG.cpp

src/CTL/SearchStrategy/HeuristicSearch.cpp

src/LTL/Algorithm/LTLToBuchi.cpp

src/LTL/CMakeLists.txt

src/LTL/Stubborn/EvalAndSetVisitor.cpp

src/LTL/Stubborn/VisibleTransitionVisitor.cpp

src/PetriEngine/Colored/CMakeLists.txt

src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp

src/PetriEngine/Colored/Colors.cpp

src/PetriEngine/Colored/Multiset.cpp

src/PetriEngine/PQL/CTLVisitor.cpp

src/PetriEngine/PQL/Expressions.cpp

src/PetriEngine/PQL/PQLQueryParser.y

src/PetriEngine/PQL/QueryPrinter.cpp

src/PetriEngine/PetriNet.cpp

src/PetriEngine/PetriNetBuilder.cpp

src/PetriEngine/Stubborn/InterestingTransitionVisitor.cpp

src/PetriEngine/TAR/PlaceUseVisitor.cpp

src/PetriEngine/TAR/RangeContext.cpp

src/PetriEngine/TAR/RangeEvalContext.cpp

src/PetriParse/PNMLParser.cpp

src/PetriParse/QueryBinaryParser.cpp

src/PetriParse/QueryXMLParser.cpp

src/VerifyPN.cpp

Show diffs side-by-side

added added

removed removed

include/CTL/Algorithm/CertainZeroFPA.h

include/CTL/DependencyGraph/Configuration.h

include/CTL/DependencyGraph/Edge.h

include/CTL/PetriNets/PetriConfig.h

include/LTL/LTLToBuchi.h

include/LTL/LTLValidator.h

include/LTL/Stubborn/EvalAndSetVisitor.h

include/LTL/Stubborn/VisibleTransitionVisitor.h

include/PetriEngine/Colored/ArcIntervals.h

include/PetriEngine/Colored/BindingGenerator.h

include/PetriEngine/Colored/ColoredNetStructures.h

include/PetriEngine/Colored/ColoredPetriNetBuilder.h

include/PetriEngine/Colored/Colors.h

include/PetriEngine/Colored/Expressions.h

include/PetriEngine/Colored/GuardRestrictor.h

include/PetriEngine/Colored/IntervalGenerator.h

include/PetriEngine/Colored/Intervals.h

include/PetriEngine/PQL/CTLVisitor.h

include/PetriEngine/PQL/Expressions.h

include/PetriEngine/PQL/MutatingVisitor.h

include/PetriEngine/PQL/QueryPrinter.h

include/PetriEngine/PQL/Visitor.h

include/PetriEngine/Structures/StateSet.h

include/PetriEngine/Structures/binarywrapper.h

include/PetriEngine/Stubborn/InterestingTransitionVisitor.h

include/PetriEngine/TAR/ContainsVisitor.h

include/PetriEngine/TAR/PlaceUseVisitor.h

include/PetriEngine/TAR/RangeContext.h

include/PetriEngine/TAR/RangeEvalContext.h

include/PetriEngine/TAR/range.h

include/PetriEngine/options.h

include/PetriParse/PNMLParser.h

src/CMakeLists.txt

src/CTL/Algorithm/CertainZeroFPA.cpp

src/CTL/Algorithm/LocalFPA.cpp

src/CTL/DependencyGraph/Configuration.cpp

src/CTL/PetriNets/OnTheFlyDG.cpp

src/CTL/SearchStrategy/HeuristicSearch.cpp

src/LTL/Algorithm/LTLToBuchi.cpp

src/LTL/CMakeLists.txt

src/LTL/Stubborn/EvalAndSetVisitor.cpp

src/LTL/Stubborn/VisibleTransitionVisitor.cpp

src/PetriEngine/Colored/BindingGenerator.cpp

src/PetriEngine/Colored/CMakeLists.txt

src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp

src/PetriEngine/Colored/Colors.cpp

src/PetriEngine/Colored/GuardRestrictor.cpp

src/PetriEngine/Colored/Multiset.cpp

src/PetriEngine/PQL/CTLVisitor.cpp

src/PetriEngine/PQL/Expressions.cpp

src/PetriEngine/PQL/PQLQueryParser.y

src/PetriEngine/PQL/QueryPrinter.cpp

src/PetriEngine/PetriNet.cpp

src/PetriEngine/PetriNetBuilder.cpp

src/PetriEngine/Stubborn/InterestingTransitionVisitor.cpp

src/PetriEngine/TAR/PlaceUseVisitor.cpp

src/PetriEngine/TAR/RangeContext.cpp

src/PetriEngine/TAR/RangeEvalContext.cpp

src/PetriParse/PNMLParser.cpp

src/PetriParse/QueryBinaryParser.cpp

src/PetriParse/QueryXMLParser.cpp

src/VerifyPN.cpp

Older »