(self, formula)
return self.walk(formula)
Returns the set of atoms appearing in the formula.
Returns the set of atoms appearing in the formula.
Returns the set of atoms appearing in the formula .
def get_atoms(self, formula):
        """Returns the set of atoms appearing in the formula."""
        return self.walk(formula)
def get_atoms ( self , formula ) : return self . walk ( formula )