mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

Constructor compares arguments, not member variables.

Browse source
This commit is contained in:
Mathias Soeken 2020-02-19 15:28:01 +01:00 committed by Nikolaj Bjorner
parent b464cf26bc
commit 00e43b6b88
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/sat/sat_aig_finder.cpp
View file

@ -110,7 +110,7 @@ namespace sat {
struct binary { struct binary {
literal x, y; literal x, y;
use_list_t* use_list; use_list_t* use_list;
binary(literal x, literal y, use_list_t* u): x(x), y(y), use_list(u) { binary(literal _x, literal _y, use_list_t* u): x(_x), y(_y), use_list(u) {
if (x.index() > y.index()) std::swap(x, y); if (x.index() > y.index()) std::swap(x, y);
} }
binary():x(null_literal), y(null_literal), use_list(nullptr) {} binary():x(null_literal), y(null_literal), use_list(nullptr) {}
@ -140,8 +140,8 @@ namespace sat {
struct ternary { struct ternary {
literal x, y, z; literal x, y, z;
clause* orig; clause* orig;
ternary(literal x, literal y, literal z, clause* c): ternary(literal _x, literal _y, literal _z, clause* c):
x(x), y(y), z(z), orig(c) { x(_x), y(_y), z(_z), orig(c) {
if (x.index() > y.index()) std::swap(x, y); if (x.index() > y.index()) std::swap(x, y);
if (y.index() > z.index()) std::swap(y, z); if (y.index() > z.index()) std::swap(y, z);
if (x.index() > y.index()) std::swap(x, y); if (x.index() > y.index()) std::swap(x, y);