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