Viewing all changes in revision 277.
- Committer: Nikolaj Jensen Ulrik
- Date: 2021-04-01 09:36:17 UTC
- Revision ID: nikolaj@njulrik.dk-20210401093617-fvqj7zl27nw512lo
Heuristic with priority to stubborn transitions
- files added:
- include/LTL/SuccessorGeneration/StubbornHeuristic.h
- files modified:
- include/LTL/SuccessorGeneration/Heuristic.h
expand all
collapse all
added
removed
