(self)
return self.node_type() == BV_ROL
Test whether the node is the BVRol (rotate left) operator.
Test whether the node is the BVRol (rotate left) operator.
Test whether the node is the BVRol ( rotate left ) operator .
def is_bv_rol(self):
        """Test whether the node is the BVRol (rotate left) operator."""
        return self.node_type() == BV_ROL
def is_bv_rol ( self ) : return self . node_type ( ) == BV_ROL