| /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 | 175 if state in self.final_states:
|
| /linux/kernel/trace/rv/monitors/wwnr/ |
| H A D | wwnr.h | 30 bool final_states[state_max_wwnr]; member
48 .final_states = { 1, 0 },
|
| /linux/kernel/trace/rv/monitors/sco/ |
| H A D | sco.h | 30 bool final_states[state_max_sco]; member
48 .final_states = { 1, 0 },
|
| /linux/kernel/trace/rv/monitors/wip/ |
| H A D | wip.h | 30 bool final_states[state_max_wip]; member
48 .final_states = { 1, 0 },
|
| /linux/kernel/trace/rv/monitors/snroc/ |
| H A D | snroc.h | 30 bool final_states[state_max_snroc]; member
48 .final_states = { 1, 0 },
|
| /linux/kernel/trace/rv/monitors/snep/ |
| H A D | snep.h | 31 bool final_states[state_max_snep]; member
60 .final_states = { 1, 0 },
|
| /linux/kernel/trace/rv/monitors/scpd/ |
| H A D | scpd.h | 31 bool final_states[state_max_scpd]; member
50 .final_states = { 1, 0 },
|
| /linux/kernel/trace/rv/monitors/nrp/ |
| H A D | nrp.h | 33 bool final_states[state_max_nrp]; member
76 .final_states = { 0, 1, 0, 0 },
|
| /linux/kernel/trace/rv/monitors/opid/ |
| H A D | opid.h | 37 bool final_states[state_max_opid]; member
105 .final_states = { 0, 1, 0, 0, 0 },
|
| /linux/kernel/trace/rv/monitors/sssw/ |
| H A D | sssw.h | 38 bool final_states[state_max_sssw]; member
106 .final_states = { 1, 0, 0, 0 },
|
| /linux/kernel/trace/rv/monitors/sts/ |
| H A D | sts.h | 38 bool final_states[state_max_sts]; member
118 .final_states = { 1, 0, 0, 0, 0, 0, 0 },
|
| /linux/include/rv/ |
| H A D | automata.h | 78 return RV_AUTOMATON_NAME.final_states[state]; in model_is_final_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 },
|