mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-24 01:25:31 +00:00
Code Activity

add !=

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-01-12 17:06:31 -08:00
parent 9f964be3f4
commit 74f0665a0b
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/sat/sat_cutset.h
View file

@ -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; }