Viewing all changes in revision 252.
- Committer: Nikolaj Jensen Ulrik
- Date: 2021-02-10 12:33:33 UTC
- Revision ID: nikolaj@njulrik.dk-20210210123333-0a3z7k1luo5k1zyd
Refactor LTLMain, add template parameter to ModelChecker, fix bugs in stubborn set refactor
- files added:
- include/LTL/LTLMain.h
- files removed:
- src/LTL/_LTL.cpp
- files modified:
- include/LTL/Algorithm/ModelChecker.h
expand all
collapse all
added
removed
