(self, value=None)
return self.is_constant(REAL, value)
Test whether the formula is a Real constant.

        Optionally, check that the constant has the given value.
Test whether the formula is a Real constant.
Test whether the formula is a Real constant .
def is_real_constant(self, value=None):
        """Test whether the formula is a Real constant.

        Optionally, check that the constant has the given value.
        """
        return self.is_constant(REAL, value)
def is_real_constant ( self , value = None ) : return self . is_constant ( REAL , value )