(self, value)
Create a constant with the given value of the correct type
Create a constant with the given value of the correct type
Create a constant with the given value of the correct type
def const(self, value):
        """Create a constant with the given value of the correct type"""
        if self.use_bv:
            return BV(value, self.bv_size)
        else:
            return Int(value)
def const ( self , value ) : if self . use_bv : return BV ( value , self . bv_size ) else : return Int ( value )