(self, left, right)
return self.create_node(node_type=op.BV_ULT,
                                args=(right, left))
Returns the formula left > right.
Returns the formula left > right.
Returns the formula left > right .
def BVUGT(self, left, right):
        """Returns the formula left > right."""
        return self.create_node(node_type=op.BV_ULT,
                                args=(right, left))
def BVUGT ( self , left , right ) : return self . create_node ( node_type = op . BV_ULT , args = ( right , left ) )