From f8e71f711f7e2dcf998517f8041647e60236c143 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 29 May 2014 13:34:16 -0700 Subject: [PATCH] feat(library/expr_lt): add expr_quick_cmp functional object Signed-off-by: Leonardo de Moura --- src/library/expr_lt.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/library/expr_lt.h b/src/library/expr_lt.h index cbd70b437..cc40af234 100644 --- a/src/library/expr_lt.h +++ b/src/library/expr_lt.h @@ -19,4 +19,5 @@ inline bool operator<(expr const & a, expr const & b) { return is_lt(a, b, true inline bool operator>(expr const & a, expr const & b) { return is_lt(b, a, true); } inline bool operator<=(expr const & a, expr const & b) { return !is_lt(b, a, true); } inline bool operator>=(expr const & a, expr const & b) { return !is_lt(a, b, true); } +struct expr_quick_cmp { int operator()(expr const & e1, expr const & e2) const { return is_lt(e1, e2, true) ? -1 : (e1 == e2 ? 0 : 1); } }; }