Searched refs:get_aut_init_final_states (Results 1 – 1 of 1) sorted by relevance
166 def get_aut_init_final_states(self) -> str: member in Dot2c183 buff.append("\t.final_states = { %s }," % self.get_aut_init_final_states())