(self)
return self.node_type() == BV_SEXT
Test whether the node is the BVSext (signed extension) operator.
Test whether the node is the BVSext (signed extension) operator.
Test whether the node is the BVSext ( signed extension ) operator .
def is_bv_sext(self):
        """Test whether the node is the BVSext (signed extension) operator."""
        return self.node_type() == BV_SEXT
def is_bv_sext ( self ) : return self . node_type ( ) == BV_SEXT