(self)
return self.node_type() == BV_SUB
Test whether the node is the BVSub (subtraction) operator.
Test whether the node is the BVSub (subtraction) operator.
Test whether the node is the BVSub ( subtraction ) operator .
def is_bv_sub(self):
        """Test whether the node is the BVSub (subtraction) operator."""
        return self.node_type() == BV_SUB
def is_bv_sub ( self ) : return self . node_type ( ) == BV_SUB