Home
last modified time | relevance | path

Searched refs:final_states (Results 1 – 12 of 12) sorted by relevance

/linux-6.15/tools/verification/dot2/
H A Dautomata.py26 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 Ddot2c.py208 if self.final_states.__contains__(state):
/linux-6.15/kernel/trace/rv/monitors/sco/
H A Dsco.h28 bool final_states[state_max_sco]; member
46 .final_states = { 1, 0 },
/linux-6.15/kernel/trace/rv/monitors/snroc/
H A Dsnroc.h28 bool final_states[state_max_snroc]; member
46 .final_states = { 1, 0 },
/linux-6.15/kernel/trace/rv/monitors/tss/
H A Dtss.h28 bool final_states[state_max_tss]; member
46 .final_states = { 1, 0 },
/linux-6.15/kernel/trace/rv/monitors/wip/
H A Dwip.h28 bool final_states[state_max_wip]; member
46 .final_states = { 1, 0 },
/linux-6.15/kernel/trace/rv/monitors/wwnr/
H A Dwwnr.h28 bool final_states[state_max_wwnr]; member
46 .final_states = { 1, 0 },
/linux-6.15/kernel/trace/rv/monitors/sncid/
H A Dsncid.h29 bool final_states[state_max_sncid]; member
48 .final_states = { 1, 0 },
/linux-6.15/kernel/trace/rv/monitors/scpd/
H A Dscpd.h29 bool final_states[state_max_scpd]; member
48 .final_states = { 1, 0 },
/linux-6.15/kernel/trace/rv/monitors/snep/
H A Dsnep.h29 bool final_states[state_max_snep]; member
48 .final_states = { 1, 0 },
/linux-6.15/include/rv/
H A Dautomata.h74 return automaton_##name.final_states[state]; \
/linux-6.15/Documentation/trace/rv/
H A Ddeterministic_automata.rst79 bool final_states[state_max]; // X_m: the set of marked states
97 .final_states = { 1, 0 },