kpotomkin

WIP #275 - Low-dimensional discrete-post operator

7

Description: We run 2 Continuous_Post analysis (i) on all variables and (ii)on only necessary vars from our locations (which we get from constrained dimension function), do all intersections in low-dimension...

Static algorithm: 1. Iterate over all locations. 2. For each location we iterate over all outgoing must transitions from this location. 3. For each transition we iterate over all constraints...

Add_state, add_transition correspond only to the graph

1

Currently there are methods: `add_state`, `add_transition`, which are correspond only to the graph of the automata, however we can end up with the graph which will have different number of...