(self, value)
return n
Return a constant of type INT.
Return a constant of type INT.
Return a constant of type INT .
def Int(self, value):
        """Return a constant of type INT."""
        if value in self.int_constants:
            return self.int_constants[value]

        if is_pysmt_integer(value):
            val = value
        elif is_python_integer(value):
            val = pysmt_integer_from_integer(value)
        else:
            raise PysmtTypeError("Invalid type in constant. The type was:" + \
                                 str(type(value)))
        n = self.create_node(node_type=op.INT_CONSTANT,
                             args=tuple(),
                             payload=val)
        self.int_constants[value] = n
        return n
def Int ( self , value ) : if value in self . int_constants : return self . int_constants [ value ] if is_pysmt_integer ( value ) : val = value elif is_python_integer ( value ) : val = pysmt_integer_from_integer ( value ) else : raise PysmtTypeError ( "Invalid type in constant. The type was:" + str ( type ( value ) ) ) n = self . create_node ( node_type = op . INT_CONSTANT , args = tuple ( ) , payload = val ) self . int_constants [ value ] = n return n