(self)
return _env().ao.get_atoms(self)
Return the set of atoms appearing in the formula.
Return the set of atoms appearing in the formula.
Return the set of atoms appearing in the formula .
def get_atoms(self):
        """Return the set of atoms appearing in the formula."""
        return _env().ao.get_atoms(self)
def get_atoms ( self ) : return _env ( ) . ao . get_atoms ( self )