From d60f2db11690082166dd7504be9fa1778066ac7c Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 12 Jan 2013 09:46:00 -0800 Subject: [PATCH] Remove select method Signed-off-by: Leonardo de Moura --- src/math/realclosure/realclosure.cpp | 9 --------- src/math/realclosure/realclosure.h | 7 ------- 2 files changed, 16 deletions(-) diff --git a/src/math/realclosure/realclosure.cpp b/src/math/realclosure/realclosure.cpp index f124f7e21..d8babe671 100644 --- a/src/math/realclosure/realclosure.cpp +++ b/src/math/realclosure/realclosure.cpp @@ -4651,10 +4651,6 @@ namespace realclosure { return compare(a.m_value, b.m_value); } - void select(numeral const & prev, numeral const & next, numeral & result) { - // TODO - } - struct collect_algebraic_refs { char_vector m_visited; // Set of visited algebraic extensions. ptr_vector m_found; // vector/list of visited algebraic extensions. @@ -5129,11 +5125,6 @@ namespace realclosure { return gt(a, _b); } - void manager::select(numeral const & prev, numeral const & next, numeral & result) { - save_interval_ctx ctx(this); - m_imp->select(prev, next, result); - } - void manager::display(std::ostream & out, numeral const & a) const { save_interval_ctx ctx(this); m_imp->display(out, a); diff --git a/src/math/realclosure/realclosure.h b/src/math/realclosure/realclosure.h index b5e8574b2..a106ebc26 100644 --- a/src/math/realclosure/realclosure.h +++ b/src/math/realclosure/realclosure.h @@ -251,13 +251,6 @@ namespace realclosure { bool ge(numeral const & a, numeral const & b) { return !lt(a, b); } bool ge(numeral const & a, mpq const & b) { return !lt(a, b); } bool ge(numeral const & a, mpz const & b) { return !lt(a, b); } - - /** - \brief Store in result a value in the interval (prev, next) - - \pre lt(pre, next) - */ - void select(numeral const & prev, numeral const & next, numeral & result); void display(std::ostream & out, numeral const & a) const;