From bc0fdfe158b48bada484be00b8434edd93fe81b7 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Mon, 18 Nov 2024 10:19:25 -0800 Subject: [PATCH] remove dead code Signed-off-by: Lev Nachmanson --- src/math/lp/dioph_eq.cpp | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index 1a063b047..24aafee7f 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -817,17 +817,6 @@ namespace lp { return lia_move::undef; } - void process_branch() { - NOT_IMPLEMENTED_YET(); - } - void process_conflict() { - NOT_IMPLEMENTED_YET(); - } - bool decide_on_conflict() { - NOT_IMPLEMENTED_YET(); - return true; - } - struct undo_fixed : public trail { lar_solver& m_lra; unsigned m_j; // the variable that became fixed