(self, value=None, width=None)
Test whether the formula is a BitVector constant.

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

        Optionally, check that the constant has the given value.
        """
        if value is None and width is None:
            return self.node_type() == BV_CONSTANT

        if width is None:
            return self.is_constant(value=value)
        else:
            return self.is_constant(_type=BVType(width=width),
                                    value=value)
def is_bv_constant ( self , value = None , width = None ) : if value is None and width is None : return self . node_type ( ) == BV_CONSTANT if width is None : return self . is_constant ( value = value ) else : return self . is_constant ( _type = BVType ( width = width ) , value = value )