Searched refs:fill_atoms_init (Results 1 – 1 of 1) sorted by relevance
221 def fill_atoms_init(self): member in ltl2k269 main_c = main_c.replace("%%ATOMS_INIT%%", self.fill_atoms_init())