(self)
return self.node_type() == BV_SREM
Test whether the node is the BVSRem (signed reminder) operator.
Test whether the node is the BVSRem (signed reminder) operator.
Test whether the node is the BVSRem ( signed reminder ) operator .
def is_bv_srem(self):
        """Test whether the node is the BVSRem (signed reminder) operator."""
        return self.node_type() == BV_SREM
def is_bv_srem ( self ) : return self . node_type ( ) == BV_SREM