Home
last modified time | relevance | path

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

/linux-6.12.1/tools/verification/dot2/
Dautomata.py26 self.states, self.initial_state, self.final_states = self.__get_state_variables()
78 def __get_state_variables(self): member in Automata