lp:~tapaal-ltl/verifypn/resumable-suc-generator
Created by
Nikolaj Jensen Ulrik
and last modified
- Get this branch:
- bzr branch lp:~tapaal-ltl/verifypn/resumable-suc-generator
Members of
tapaal-ltl
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Simon Virenfeldt: Approve
-
Diff: 1016 lines (+357/-197)15 files modifiedCMakeLists.txt (+2/-2)
include/LTL/BuchiSuccessorGenerator.h (+2/-2)
include/LTL/LTL_algorithm/ModelChecker.h (+2/-0)
include/LTL/LTL_algorithm/NestedDepthFirstSearch.h (+9/-3)
include/LTL/LTL_algorithm/TarjanModelChecker.h (+26/-22)
include/LTL/ProductSuccessorGenerator.h (+68/-5)
include/LTL/Structures/ProductState.h (+2/-0)
include/PetriEngine/PQL/Expressions.h (+2/-2)
include/PetriEngine/SuccessorGenerator.h (+5/-1)
src/LTL/LTL_algorithm/LTLToBuchi.cpp (+17/-31)
src/LTL/LTL_algorithm/NestedDepthFirstSearch.cpp (+57/-51)
src/LTL/LTL_algorithm/ProductSuccessorGenerator.cpp (+42/-9)
src/LTL/LTL_algorithm/TarjanModelChecker.cpp (+118/-64)
src/LTLMain.cpp (+4/-4)
src/PetriEngine/SuccessorGenerator.cpp (+1/-1)
Branch information
Recent revisions
- 256. By Nikolaj Jensen Ulrik
-
Added handful of comments, some cleanup, and a couple microoptimizations
- 255. By Nikolaj Jensen Ulrik
-
Implement resumable successor generator, and use it with Tarjan's algorithm
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:verifypn