Searched refs:_fill_atoms (Results 1 – 1 of 1) sorted by relevance
82 def _fill_atoms(self): member in ltl2k244 buf.extend(self._fill_atoms())