| /linux/tools/verification/rvgen/rvgen/ |
| H A D | automata.py | 26 self.states, self.initial_state, self.final_states = self.__get_state_variables()
82 final_states = []
99 final_states.append(state)
103 final_states.append(state)
115 final_states.append(initial_state)
117 return states, initial_state, final_states
|
| H A D | dot2c.py | 210 if self.final_states.__contains__(state):
|
| /linux/kernel/trace/rv/monitors/snroc/ |
| H A D | snroc.h | 28 bool final_states[state_max_snroc]; member
46 .final_states = { 1, 0 },
|
| /linux/kernel/trace/rv/monitors/wip/ |
| H A D | wip.h | 28 bool final_states[state_max_wip]; member
46 .final_states = { 1, 0 },
|
| /linux/kernel/trace/rv/monitors/sco/ |
| H A D | sco.h | 28 bool final_states[state_max_sco]; member
46 .final_states = { 1, 0 },
|
| /linux/kernel/trace/rv/monitors/wwnr/ |
| H A D | wwnr.h | 28 bool final_states[state_max_wwnr]; member
46 .final_states = { 1, 0 },
|
| /linux/kernel/trace/rv/monitors/scpd/ |
| H A D | scpd.h | 29 bool final_states[state_max_scpd]; member
48 .final_states = { 1, 0 },
|
| /linux/kernel/trace/rv/monitors/snep/ |
| H A D | snep.h | 29 bool final_states[state_max_snep]; member
58 .final_states = { 1, 0 },
|
| /linux/kernel/trace/rv/monitors/nrp/ |
| H A D | nrp.h | 31 bool final_states[state_max_nrp]; member
74 .final_states = { 0, 1, 0, 0 },
|
| /linux/kernel/trace/rv/monitors/sssw/ |
| H A D | sssw.h | 36 bool final_states[state_max_sssw]; member
104 .final_states = { 1, 0, 0, 0 },
|
| /linux/kernel/trace/rv/monitors/opid/ |
| H A D | opid.h | 35 bool final_states[state_max_opid]; member
103 .final_states = { 0, 1, 0, 0, 0 },
|
| /linux/kernel/trace/rv/monitors/sts/ |
| H A D | sts.h | 36 bool final_states[state_max_sts]; member
116 .final_states = { 1, 0, 0, 0, 0, 0, 0 },
|
| /linux/include/rv/ |
| H A D | automata.h | 74 return automaton_##name.final_states[state]; \
|
| /linux/Documentation/trace/rv/ |
| H A D | deterministic_automata.rst | 79 bool final_states[state_max]; // X_m: the set of marked states
97 .final_states = { 1, 0 },
|