We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent be41d4d commit 1d3aa5cCopy full SHA for 1d3aa5c
src/solvers/sat/cnf.h
@@ -42,6 +42,7 @@ class cnft:public propt
42
virtual void set_no_variables(size_t no) { _no_variables=no; }
43
virtual size_t no_clauses() const=0;
44
45
+protected:
46
void gate_and(literalt a, literalt b, literalt o);
47
void gate_or(literalt a, literalt b, literalt o);
48
void gate_xor(literalt a, literalt b, literalt o);
@@ -52,7 +53,6 @@ class cnft:public propt
52
53
54
static bvt eliminate_duplicates(const bvt &);
55
-protected:
56
size_t _no_variables;
57
58
bool process_clause(const bvt &bv, bvt &dest);
0 commit comments