Searched refs:final_states (Results 1 – 6 of 6) sorted by relevance
| /linux-6.12.1/tools/verification/dot2/ |
| D | automata.py | 26 self.states, self.initial_state, self.final_states = self.__get_state_variables()
81 final_states = []
98 final_states.append(state)
102 final_states.append(state)
114 final_states.append(initial_state)
116 return states, initial_state, final_states
|
| D | dot2c.py | 208 if self.final_states.__contains__(state):
|
| /linux-6.12.1/kernel/trace/rv/monitors/wwnr/ |
| D | wwnr.h | 27 bool final_states[state_max_wwnr]; member
45 .final_states = { 1, 0 },
|
| /linux-6.12.1/kernel/trace/rv/monitors/wip/ |
| D | wip.h | 27 bool final_states[state_max_wip]; member
45 .final_states = { 1, 0 },
|
| /linux-6.12.1/include/rv/ |
| D | automata.h | 74 return automaton_##name.final_states[state]; \
|
| /linux-6.12.1/Documentation/trace/rv/ |
| D | deterministic_automata.rst | 79 bool final_states[state_max]; // X_m: the set of marked states
97 .final_states = { 1, 0 },
|