← Back to branch summary

~tapaal-ltl/verifypn/scc-optimise

~tapaal-ltl/verifypn/scc-optimise

Viewing all changes in revision 246.

Committer: Nikolaj Jensen Ulrik
Date: 2021-02-01 09:31:31 UTC
Revision ID: nikolaj@njulrik.dk-20210201093131-6xfm23r9rzyr5qht

NDFS: Replace weak test with direct SCC test

files modified:
include/LTL/BuchiSuccessorGenerator.h

include/LTL/ProductSuccessorGenerator.h

include/PetriEngine/PQL/Expressions.h

src/LTL/Algorithm/NestedDepthFirstSearch.cpp

src/PetriEngine/PQL/Expressions.cpp

Show diffs side-by-side

added added

removed removed

include/LTL/BuchiSuccessorGenerator.h

include/LTL/ProductSuccessorGenerator.h

include/PetriEngine/PQL/Expressions.h

src/LTL/Algorithm/NestedDepthFirstSearch.cpp

src/PetriEngine/PQL/Expressions.cpp

Older »