Lines Matching refs:state
74 # skip initial state transition
92 state = raw_state.replace('"', '').replace('};', '').replace(',','_')
93 if state[0:7] == "__init_":
94 initial_state = state[7:]
96 states.append(state)
98 final_states.append(state)
102 final_states.append(state)
110 # Insert the initial state at the bein og the states
154 for state in states:
155 states_dict[state] = nr_state