Skip to content

Commit

Permalink
State graph dgml update and fixes in condition simplifier (#5721)
Browse files Browse the repository at this point in the history 
* improved generated dgml graph

* fixed simplification of negated ranges and did some code cleanup

* do not make loops with lower=upper=0, this is epsilon

* do not add loops with lower=upper=1

* bug fix in normalization: forgotten eps case
  • Loading branch information
@veanes
veanes authored Dec 19, 2021
1 parent bee7421 commit a7b1db6
Show file tree
Hide file tree
Showing 5 changed files with 168 additions and 220 deletions.
Loading

0 comments on commit a7b1db6

Please sign in to comment.