diff options
Diffstat (limited to 'graph/2sat.cpp')
| -rw-r--r-- | graph/2sat.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/graph/2sat.cpp b/graph/2sat.cpp index 4e47ba0..8fb3d39 100644 --- a/graph/2sat.cpp +++ b/graph/2sat.cpp @@ -2,13 +2,13 @@ struct sat2 { int n; // + scc variablen vector<int> sol; - sat2(int vars) : n(vars*2), adjlist(vars*2) {}; + sat2(int vars) : n(vars*2), adj(vars*2) {}; static int var(int i) {return i << 1;} // use this! void addImpl(int a, int b) { - adjlist[a].push_back(b); - adjlist[1^b].push_back(1^a); + adj[a].push_back(b); + adj[1^b].push_back(1^a); } void addEquiv(int a, int b) {addImpl(a, b); addImpl(b, a);} void addOr(int a, int b) {addImpl(1^a, b);} |