(self)
return self.node_type() == BV_ULT
Test whether the node is the BVULT (unsigned less than) relation.
Test whether the node is the BVULT (unsigned less than) relation.
Test whether the node is the BVULT ( unsigned less than ) relation .
def is_bv_ult(self):
        """Test whether the node is the BVULT (unsigned less than) relation."""
        return self.node_type() == BV_ULT
def is_bv_ult ( self ) : return self . node_type ( ) == BV_ULT