(self)
return self.node_type() in BV_OPERATORS
Test whether the node is a BitVector operator.
Test whether the node is a BitVector operator.
Test whether the node is a BitVector operator .
def is_bv_op(self):
        """Test whether the node is a BitVector operator."""
        return self.node_type() in BV_OPERATORS
def is_bv_op ( self ) : return self . node_type ( ) in BV_OPERATORS