(value)
return get_env().formula_manager.Real(value)
Returns a Real constant with the given value.

    :param value: Specify the value
    :returns: A Real constant with the given value
Returns a Real constant with the given value.
Returns a Real constant with the given value .
def Real(value):
    """Returns a Real constant with the given value.

    :param value: Specify the value
    :returns: A Real constant with the given value
    """
    return get_env().formula_manager.Real(value)
def Real ( value ) : return get_env ( ) . formula_manager . Real ( value )