Viewing all changes in revision 228.1.1.
- Committer: Simon Virenfeldt
- Date: 2020-09-25 12:13:12 UTC
- mto: (227.2.3 spot-integration)
- mto: This revision was merged to the branch mainline in revision 231.
- Revision ID: simwir1@gmail.com-20200925121312-ird69od01abyo8dt
Implementation of NDFS with some requirements stubbed.
- files added:
- include/LTL
- include/LTL/LTL_algorithm
- include/LTL/Structures
- src/LTL
- src/LTL/LTL_algorithm
- files modified:
- include/PetriEngine/Structures/State.h
expand all
collapse all
added
removed
