Home
last modified time | relevance | path

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

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