Viewing all changes in revision 285.
- Committer: Simon Virenfeldt
- Date: 2021-04-15 13:05:39 UTC
- Revision ID: simwir1@gmail.com-20210415130539-h8fup4ctg0n2ridp
Fix retarding stubborn set not being prepared.
- files removed:
- include/PetriEngine/Stubborn/NegatedStubbornSet.h
- files modified:
- include/LTL/Stubborn/AutomatonStubbornSet.h
expand all
collapse all
added
removed
