(self, value=None)
return self.is_constant(INT, value)
Test whether the formula is an Integer constant.

        Optionally, check that the constant has the given value.
Test whether the formula is an Integer constant.
Test whether the formula is an Integer constant .
def is_int_constant(self, value=None):
        """Test whether the formula is an Integer constant.

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