(self)
return self.node_type() == BV_COMP
Test whether the node is the BVComp (comparison) operator.
Test whether the node is the BVComp (comparison) operator.
Test whether the node is the BVComp ( comparison ) operator .
def is_bv_comp(self):
        """Test whether the node is the BVComp (comparison) operator."""
        return self.node_type() == BV_COMP
def is_bv_comp ( self ) : return self . node_type ( ) == BV_COMP