(self)
return self.node_type() == BV_SDIV
Test whether the node is the BVSDiv (signed division) operator.
Test whether the node is the BVSDiv (signed division) operator.
Test whether the node is the BVSDiv ( signed division ) operator .
def is_bv_sdiv(self):
        """Test whether the node is the BVSDiv (signed division) operator."""
        return self.node_type() == BV_SDIV
def is_bv_sdiv ( self ) : return self . node_type ( ) == BV_SDIV