← Back to branch summary

~tapaal-red/verifypn/rule-l

~tapaal-red/verifypn/rule-l

Viewing all changes in revision 213.1.31.

Committer: Peter G. Jensen
Date: 2020-03-02 21:03:24 UTC
mto: (213.1.38 verifypn_cmake)
mto: This revision was merged to the branch mainline in revision 225.
Revision ID: peter.gjoel@gmail.com-20200302210324-mmaia5l9vthz8oxx

adding rebuild structure

files added:
include

include/CTL

include/CTL/Algorithm

include/CTL/Algorithm/AlgorithmTypes.h

include/CTL/Algorithm/CertainZeroFPA.h

include/CTL/Algorithm/FixedPointAlgorithm.h

include/CTL/Algorithm/LocalFPA.h

include/CTL/CTLEngine.h

include/CTL/CTLResult.h

include/CTL/DependencyGraph

include/CTL/DependencyGraph/BasicDependencyGraph.h

include/CTL/DependencyGraph/Configuration.h

include/CTL/DependencyGraph/Edge.h

include/CTL/DependencyGraph/assignment.h

include/CTL/PetriNets

include/CTL/PetriNets/OnTheFlyDG.h

include/CTL/PetriNets/PetriConfig.h

include/CTL/SearchStrategy

include/CTL/SearchStrategy/BFSSearch.h

include/CTL/SearchStrategy/DFSSearch.h

include/CTL/SearchStrategy/HeuristicSearch.h

include/CTL/SearchStrategy/RDFSSearch.h

include/CTL/SearchStrategy/SearchStrategy.h

include/CTL/Stopwatch.h

include/PetriEngine

include/PetriEngine/AbstractPetriNetBuilder.h

include/PetriEngine/Colored

include/PetriEngine/Colored/ColoredNetStructures.h

include/PetriEngine/Colored/ColoredPetriNetBuilder.h

include/PetriEngine/Colored/Colors.h

include/PetriEngine/Colored/Expressions.h

include/PetriEngine/Colored/Multiset.h

include/PetriEngine/NetStructures.h

include/PetriEngine/PQL

include/PetriEngine/PQL/Contexts.h

include/PetriEngine/PQL/Expressions.h

include/PetriEngine/PQL/PQL.h

include/PetriEngine/PQL/PQLParser.h

include/PetriEngine/PetriNet.h

include/PetriEngine/PetriNetBuilder.h

include/PetriEngine/Reachability

include/PetriEngine/Reachability/ReachabilityResult.h

include/PetriEngine/Reachability/ReachabilitySearch.h

include/PetriEngine/Reachability/TARReachability.h

include/PetriEngine/Reducer.h

include/PetriEngine/ReducingSuccessorGenerator.h

include/PetriEngine/STSolver.h

include/PetriEngine/Simplification

include/PetriEngine/Simplification/LPCache.h

include/PetriEngine/Simplification/LinearProgram.h

include/PetriEngine/Simplification/LinearPrograms.h

include/PetriEngine/Simplification/Member.h

include/PetriEngine/Simplification/MurmurHash2.h

include/PetriEngine/Simplification/Retval.h

include/PetriEngine/Simplification/Vector.h

include/PetriEngine/Structures

include/PetriEngine/Structures/AlignedEncoder.h

include/PetriEngine/Structures/BitField.h

include/PetriEngine/Structures/Queue.h

include/PetriEngine/Structures/State.h

include/PetriEngine/Structures/StateSet.h

include/PetriEngine/Structures/binarywrapper.h

include/PetriEngine/Structures/light_deque.h

include/PetriEngine/Structures/linked_bucket.h

include/PetriEngine/Structures/ptrie.h

include/PetriEngine/Structures/ptrie_map.h

include/PetriEngine/Structures/ptrie_stable.h

include/PetriEngine/SuccessorGenerator.h

include/PetriEngine/TAR

include/PetriEngine/TAR/AntiChain.h

include/PetriEngine/TAR/Renamer.h

include/PetriEngine/TAR/TARAutomata.h

include/PetriEngine/errorcodes.h

include/PetriEngine/options.h

include/PetriParse

include/PetriParse/PNMLParser.h

include/PetriParse/QueryBinaryParser.h

include/PetriParse/QueryParser.h

include/PetriParse/QueryXMLParser.h

include/lpsolve

include/lpsolve/README.md

include/lpsolve/lp_Hash.h

include/lpsolve/lp_SOS.h

include/lpsolve/lp_lib.h

include/lpsolve/lp_matrix.h

include/lpsolve/lp_mipbb.h

include/lpsolve/lp_solve_5.5.2.5_source.tar.gz

include/lpsolve/lp_types.h

include/lpsolve/lp_utils.h

include/lpsolve/lpsolve55-win64.dll

src

src/CMakeLists.txt

src/CTL

src/CTL/Algorithm

src/CTL/Algorithm/CertainZeroFPA.cpp

src/CTL/Algorithm/FixedPointAlgorithm.cpp

src/CTL/Algorithm/LocalFPA.cpp

src/CTL/CMakeLists.txt

src/CTL/CTLEngine.cpp

src/CTL/DependencyGraph

src/CTL/DependencyGraph/Configuration.cpp

src/CTL/PetriNets

src/CTL/PetriNets/OnTheFlyDG.cpp

src/CTL/SearchStrategy

src/CTL/SearchStrategy/HeuristicSearch.cpp

src/CTL/SearchStrategy/RDFSSearch.cpp

src/CTL/SearchStrategy/SearchStrategy.cpp

src/PetriEngine

src/PetriEngine/CMakeLists.txt

src/PetriEngine/Colored

src/PetriEngine/Colored/CMakeLists.txt

src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp

src/PetriEngine/Colored/Colors.cpp

src/PetriEngine/Colored/Multiset.cpp

src/PetriEngine/PQL

src/PetriEngine/PQL/CMakeLists.txt

src/PetriEngine/PQL/PQL.cpp

src/PetriEngine/PQL/PQLQueryParser.y

src/PetriEngine/PQL/PQLQueryTokens.l

src/PetriEngine/PetriNet.cpp

src/PetriEngine/PetriNetBuilder.cpp

src/PetriEngine/Reachability

src/PetriEngine/Reachability/CMakeLists.txt

src/PetriEngine/Reachability/ReachabilitySearch.cpp

src/PetriEngine/Reachability/ResultPrinter.cpp

src/PetriEngine/Reachability/TARReachability.cpp

src/PetriEngine/Reducer.cpp

src/PetriEngine/ReducingSuccessorGenerator.cpp

src/PetriEngine/STSolver.cpp

src/PetriEngine/Simplification

src/PetriEngine/Simplification/CMakeLists.txt

src/PetriEngine/Simplification/LPCache.cpp

src/PetriEngine/Simplification/LinearProgram.cpp

src/PetriEngine/Simplification/MurmurHash2.cpp

src/PetriEngine/Simplification/Vector.cpp

src/PetriEngine/Structures

src/PetriEngine/Structures/AlignedEncoder.cpp

src/PetriEngine/Structures/CMakeLists.txt

src/PetriEngine/Structures/Queue.cpp

src/PetriEngine/Structures/binarywrapper.cpp

src/PetriEngine/SuccessorGenerator.cpp

src/PetriParse

src/PetriParse/CMakeLists.txt

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/

include/CTL/Algorithm/AlgorithmTypes.h

include/CTL/Algorithm/CertainZeroFPA.h

include/CTL/Algorithm/FixedPointAlgorithm.h

include/CTL/Algorithm/LocalFPA.h

include/CTL/CTLEngine.h

include/CTL/CTLResult.h

include/CTL/DependencyGraph/

include/CTL/DependencyGraph/BasicDependencyGraph.h

include/CTL/DependencyGraph/Configuration.h

include/CTL/DependencyGraph/Edge.h

include/CTL/DependencyGraph/assignment.h

include/CTL/PetriNets/

include/CTL/PetriNets/OnTheFlyDG.h

include/CTL/PetriNets/PetriConfig.h

include/CTL/SearchStrategy/

include/CTL/SearchStrategy/BFSSearch.h

include/CTL/SearchStrategy/DFSSearch.h

include/CTL/SearchStrategy/HeuristicSearch.h

include/CTL/SearchStrategy/RDFSSearch.h

include/CTL/SearchStrategy/SearchStrategy.h

include/CTL/Stopwatch.h

include/PetriEngine/

include/PetriEngine/AbstractPetriNetBuilder.h

include/PetriEngine/Colored/

include/PetriEngine/Colored/ColoredNetStructures.h

include/PetriEngine/Colored/ColoredPetriNetBuilder.h

include/PetriEngine/Colored/Colors.h

include/PetriEngine/Colored/Expressions.h

include/PetriEngine/Colored/Multiset.h

include/PetriEngine/NetStructures.h

include/PetriEngine/PQL/

include/PetriEngine/PQL/Contexts.h

include/PetriEngine/PQL/Expressions.h

include/PetriEngine/PQL/PQL.h

include/PetriEngine/PQL/PQLParser.h

include/PetriEngine/PetriNet.h

include/PetriEngine/PetriNetBuilder.h

include/PetriEngine/Reachability/

include/PetriEngine/Reachability/ReachabilityResult.h

include/PetriEngine/Reachability/ReachabilitySearch.h

include/PetriEngine/Reachability/TARReachability.h

include/PetriEngine/Reducer.h

include/PetriEngine/ReducingSuccessorGenerator.h

include/PetriEngine/STSolver.h

include/PetriEngine/Simplification/

include/PetriEngine/Simplification/LPCache.h

include/PetriEngine/Simplification/LinearProgram.h

include/PetriEngine/Simplification/LinearPrograms.h

include/PetriEngine/Simplification/Member.h

include/PetriEngine/Simplification/MurmurHash2.h

include/PetriEngine/Simplification/Retval.h

include/PetriEngine/Simplification/Vector.h

include/PetriEngine/Structures/

include/PetriEngine/Structures/AlignedEncoder.h

include/PetriEngine/Structures/BitField.h

include/PetriEngine/Structures/Queue.h

include/PetriEngine/Structures/State.h

include/PetriEngine/Structures/StateSet.h

include/PetriEngine/Structures/binarywrapper.h

include/PetriEngine/Structures/light_deque.h

include/PetriEngine/Structures/linked_bucket.h

include/PetriEngine/Structures/ptrie.h

include/PetriEngine/Structures/ptrie_map.h

include/PetriEngine/Structures/ptrie_stable.h

include/PetriEngine/SuccessorGenerator.h

include/PetriEngine/TAR/

include/PetriEngine/TAR/AntiChain.h

include/PetriEngine/TAR/Renamer.h

include/PetriEngine/TAR/TARAutomata.h

include/PetriEngine/errorcodes.h

include/PetriEngine/options.h

include/PetriParse/

include/PetriParse/PNMLParser.h

include/PetriParse/QueryBinaryParser.h

include/PetriParse/QueryParser.h

include/PetriParse/QueryXMLParser.h

include/lpsolve/

include/lpsolve/README.md

include/lpsolve/lp_Hash.h

include/lpsolve/lp_SOS.h

include/lpsolve/lp_lib.h

include/lpsolve/lp_matrix.h

include/lpsolve/lp_mipbb.h

include/lpsolve/lp_solve_5.5.2.5_source.tar.gz

include/lpsolve/lp_types.h

include/lpsolve/lp_utils.h

include/lpsolve/lpsolve55-win64.dll

src/CMakeLists.txt

src/CTL/Algorithm/

src/CTL/Algorithm/CertainZeroFPA.cpp

src/CTL/Algorithm/FixedPointAlgorithm.cpp

src/CTL/Algorithm/LocalFPA.cpp

src/CTL/CMakeLists.txt

src/CTL/CTLEngine.cpp

src/CTL/DependencyGraph/

src/CTL/DependencyGraph/Configuration.cpp

src/CTL/PetriNets/

src/CTL/PetriNets/OnTheFlyDG.cpp

src/CTL/SearchStrategy/

src/CTL/SearchStrategy/HeuristicSearch.cpp

src/CTL/SearchStrategy/RDFSSearch.cpp

src/CTL/SearchStrategy/SearchStrategy.cpp

src/PetriEngine/

src/PetriEngine/CMakeLists.txt

src/PetriEngine/Colored/

src/PetriEngine/Colored/CMakeLists.txt

src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp

src/PetriEngine/Colored/Colors.cpp

src/PetriEngine/Colored/Multiset.cpp

src/PetriEngine/PQL/

src/PetriEngine/PQL/CMakeLists.txt

src/PetriEngine/PQL/PQL.cpp

src/PetriEngine/PQL/PQLQueryParser.y

src/PetriEngine/PQL/PQLQueryTokens.l

src/PetriEngine/PetriNet.cpp

src/PetriEngine/PetriNetBuilder.cpp

src/PetriEngine/Reachability/

src/PetriEngine/Reachability/CMakeLists.txt

src/PetriEngine/Reachability/ReachabilitySearch.cpp

src/PetriEngine/Reachability/ResultPrinter.cpp

src/PetriEngine/Reachability/TARReachability.cpp

src/PetriEngine/Reducer.cpp

src/PetriEngine/ReducingSuccessorGenerator.cpp

src/PetriEngine/STSolver.cpp

src/PetriEngine/Simplification/

src/PetriEngine/Simplification/CMakeLists.txt

src/PetriEngine/Simplification/LPCache.cpp

src/PetriEngine/Simplification/LinearProgram.cpp

src/PetriEngine/Simplification/MurmurHash2.cpp

src/PetriEngine/Simplification/Vector.cpp

src/PetriEngine/Structures/

src/PetriEngine/Structures/AlignedEncoder.cpp

src/PetriEngine/Structures/CMakeLists.txt

src/PetriEngine/Structures/Queue.cpp

src/PetriEngine/Structures/binarywrapper.cpp

src/PetriEngine/SuccessorGenerator.cpp

src/PetriParse/

src/PetriParse/CMakeLists.txt

src/PetriParse/PNMLParser.cpp

src/PetriParse/QueryBinaryParser.cpp

src/PetriParse/QueryXMLParser.cpp

src/VerifyPN.cpp

Older »