(formula)
return get_env().formula_manager.ToReal(formula)
Explicit cast of a term into a Real term.
Explicit cast of a term into a Real term.
Explicit cast of a term into a Real term .
def ToReal(formula):
    """Explicit cast of a term into a Real term."""
    return get_env().formula_manager.ToReal(formula)
def ToReal ( formula ) : return get_env ( ) . formula_manager . ToReal ( formula )