TA_RANGETEXT AUTOMATA OUTPUT REVISED


Constraint Warnings: 0

Valid Syntax!


Node Table: {Name, Ref}

{0: 0}
{1: 1}
{2: 2}
{3: 3}

Clock Table: {Name, Ref}

{c_0: 0}
{c_1: 1}
{c_2: 2}
{c_3: 3}

Final Nodes: { 1 2 3 }

Transitions:

'r0': 0 -> 1

Resets: [ 1 2 ]
Constraints:

'r1': 1 -> 0

Resets: [ 2 ]
Constraints:
{ Clock: 1, Min: 4, Max: 18446744073709551615 }

'r2': 1 -> 2

Resets: [ 1 2 3 ]
Constraints:
{ Clock: 1, Min: 0, Max: 3 }

'r3': 2 -> 0

Resets: [ 2 ]
Constraints:
{ Clock: 1, Min: 0, Max: 3 }
{ Clock: 2, Min: 4, Max: 18446744073709551615 }

'r4': 2 -> 3

Resets: [ ]
Constraints:
{ Clock: 1, Min: 0, Max: 3 }
{ Clock: 2, Min: 0, Max: 3 }

'r5': 3 -> 0

Resets: [ 2 3 ]
Constraints:
{ Clock: 1, Min: 0, Max: 3 }
{ Clock: 2, Min: 0, Max: 3 }

Simple list of transitions:
0 -> 1: r0
1 -> 0: r1
1 -> 2: r2
2 -> 0: r3
2 -> 3: r4
3 -> 0: r5

Range Data:
(1, r0) = { r0 r1 r2 r3 r4 r5 }
(1, r1) = { }
(1, r2) = { r0 r1 r2 r3 r4 r5 }
(1, r3) = { }
(1, r4) = { }
(1, r5) = { }
(2, r0) = { }
(2, r1) = { }
(2, r2) = { r2 r3 r4 r5 }
(2, r3) = { }
(2, r4) = { }
(2, r5) = { }