(self)
return _env().fvo.get_free_variables(self)
Return the set of Symbols that are free in the formula.
Return the set of Symbols that are free in the formula.
Return the set of Symbols that are free in the formula .
def get_free_variables(self):
        """Return the set of Symbols that are free in the formula."""
        return _env().fvo.get_free_variables(self)
def get_free_variables ( self ) : return _env ( ) . fvo . get_free_variables ( self )