(formula)
return get_env().ao.get_atoms(formula)
Returns the set of atoms of the formula.

    :param formula: The target formula
    :type  formula: FNode
    :returns: the set of atoms of the formula
Returns the set of atoms of the formula.
Returns the set of atoms of the formula .
def get_atoms(formula):
    """Returns the set of atoms of the formula.

    :param formula: The target formula
    :type  formula: FNode
    :returns: the set of atoms of the formula
    """
    return get_env().ao.get_atoms(formula)
def get_atoms ( formula ) : return get_env ( ) . ao . get_atoms ( formula )