| changeset 45 | 3b6bf2b5f1df |
| parent 41 | 8998c8b24b60 |
| child 52 | f44458d1fa29 |
| 44:3fb449ba9a72 | 45:3b6bf2b5f1df |
|---|---|
47 transition_element *prev; |
47 transition_element *prev; |
48 transition_element *next; |
48 transition_element *next; |
49 |
49 |
50 public: |
50 public: |
51 transition_element(transition_c *tr, char pr, char idx) { |
51 transition_element(transition_c *tr, char pr, char idx) { |
52 prev = NULL; |
|
53 next = NULL; |
|
52 transition = tr; |
54 transition = tr; |
53 priority = pr; |
55 priority = pr; |
54 index = idx; |
56 index = idx; |
55 } |
57 } |
56 |
58 |