Viewing all changes in revision 241.
- Committer: Simon Virenfeldt
- Date: 2021-06-22 09:25:10 UTC
- Revision ID: simwir1@gmail.com-20210622092510-kn2esxb3enfbc3ch
Fix logic error in structural reduction Rule D for LTL and CTL.
- files modified:
- include/PetriEngine/Reducer.h
expand all
collapse all
added
removed
