Viewing all changes in revision 355.
- Committer: Peter G. Jensen
- Date: 2020-07-03 09:50:28 UTC
- Revision ID: root@petergjoel.dk-20200703095028-6z4abaivm6q2bp13
inhibitor arcs are not yet handled by TAR solver, so return error if used with TAR
- files modified:
- src/PetriEngine/TAR/TARReachability.cpp
expand all
collapse all
added
removed
