Tool for removing unused transitions
Bug #1023799 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Triaged
|
Wishlist
|
Unassigned |
Bug Description
Add a tool, called "Unused transitions" to the tool menu that will run the query
EF false using verifytapn (it should ask for the extra number of tokens as in query dialog)
and if the query is conclusive (all markings searched) it will report a list of transitions
that have been enabled 0 times. Then it can have a button "Remove unused transitions"
that will remove them from the net (including the connected arcs). Remember to implement
undo into the history for this action.
Changed in tapaal: | |
status: | New → Triaged |
To post a comment you must log in.