equal
deleted
inserted
replaced
97 s4o.print_integer(action_number); |
97 s4o.print_integer(action_number); |
98 s4o.print("];\n"); |
98 s4o.print("];\n"); |
99 s4o.print(s4o.indent_spaces + "UINT nb_actions;\n"); |
99 s4o.print(s4o.indent_spaces + "UINT nb_actions;\n"); |
100 |
100 |
101 /* transitions table declaration */ |
101 /* transitions table declaration */ |
102 s4o.print(s4o.indent_spaces + "USINT transition_list["); |
102 s4o.print(s4o.indent_spaces + "BOOL transition_list["); |
103 s4o.print_integer(transition_number); |
103 s4o.print_integer(transition_number); |
104 s4o.print("];\n"); |
104 s4o.print("];\n"); |
105 |
105 |
106 /* period declaration */ |
106 /* period declaration */ |
107 s4o.print(s4o.indent_spaces + "TIME period;\n"); |
107 s4o.print(s4o.indent_spaces + "TIME period;\n"); |