From a86132095d02929394930f8b4beb666bfb22ed4d Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Sun, 12 Apr 2026 13:43:53 -0400 Subject: [PATCH] Delete unused ineq::operator== The operator is unused, so there is no need to figure what is the best fix for it. --- src/math/lp/nla_types.h | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/math/lp/nla_types.h b/src/math/lp/nla_types.h index d77457433..89823e4dc 100644 --- a/src/math/lp/nla_types.h +++ b/src/math/lp/nla_types.h @@ -41,9 +41,8 @@ namespace nla { ineq(const lp::lar_term& term, lp::lconstraint_kind cmp, const rational& rs) : m_cmp(cmp), m_term(term), m_rs(rs) {} ineq(lpvar v, lp::lconstraint_kind cmp, int i): m_cmp(cmp), m_term(v), m_rs(rational(i)) {} ineq(lpvar v, lp::lconstraint_kind cmp, rational const& r): m_cmp(cmp), m_term(v), m_rs(r) {} - bool operator==(const ineq& a) const { - return m_cmp == a.m_cmp && &m_term == &a.m_term && m_rs == a.m_rs; - } + bool operator==(const ineq& a) const = delete; + bool operator!=(const ineq& a) const = delete; const lp::lar_term& term() const { return m_term; }; lp::lconstraint_kind cmp() const { return m_cmp; }; const rational& rs() const { return m_rs; };