From 74f0665a0bf605367627737ef9e58aaf066944e1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 12 Jan 2020 17:06:31 -0800 Subject: [PATCH] add != Signed-off-by: Nikolaj Bjorner --- src/sat/sat_cutset.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/sat/sat_cutset.h b/src/sat/sat_cutset.h index dc6f0c4b7..ec2675ce1 100644 --- a/src/sat/sat_cutset.h +++ b/src/sat/sat_cutset.h @@ -69,6 +69,7 @@ namespace sat { bool is_false() const { return 0 == (table_mask() & m_table); } bool operator==(cut const& other) const; + bool operator!=(cut const& other) const { return !(*this == other); } unsigned hash() const; struct eq_proc { bool operator()(cut const& a, cut const& b) const { return a == b; }