~tapaal-red/verifypn/rule-l

Viewing all changes in revision 252.

  • Committer: nicoesterby at gmail
  • Date: 2021-09-24 09:57:31 UTC
  • Revision ID: nicoesterby@gmail.com-20210924095731-9m1vvwc00viwtn31
Add reduction rule L removing dominated transitions.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: