(self)
Return the type of the Constant.
Return the type of the Constant.
Return the type of the Constant .
def constant_type(self):
        """Return the type of the Constant."""
        if self.node_type() == INT_CONSTANT:
            return INT
        elif self.node_type() == REAL_CONSTANT:
            return REAL
        elif self.node_type() == BOOL_CONSTANT:
            return BOOL
        elif self.node_type() == STR_CONSTANT:
            return STRING
        else:
            assert self.node_type() == BV_CONSTANT,\
                "Unsupported method constant_type '%s'" % self
            return BVType(width=self.bv_width())
def constant_type ( self ) : if self . node_type ( ) == INT_CONSTANT : return INT elif self . node_type ( ) == REAL_CONSTANT : return REAL elif self . node_type ( ) == BOOL_CONSTANT : return BOOL elif self . node_type ( ) == STR_CONSTANT : return STRING else : assert self . node_type ( ) == BV_CONSTANT , "Unsupported method constant_type '%s'" % self return BVType ( width = self . bv_width ( ) )