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