Viewing all changes in revision 252.
- Committer: Nikolaj Jensen Ulrik
- Date: 2021-10-12 14:07:43 UTC
- Revision ID: njul@cs.aau.dk-20211012140743-7frd3p0ntghq880m
Remove combined heuristics and hence simplify the CLI parameter
- files removed:
- include/LTL/SuccessorGeneration/ComposedHeuristic.h
- files modified:
- include/LTL/SuccessorGeneration/Heuristics.h
expand all
collapse all
added
removed
