From 4905811a7c635f28827984a999aedacd910f4dc3 Mon Sep 17 00:00:00 2001
From: mzuenni <michi.zuendorf@gmail.com>
Date: Tue, 29 Aug 2023 00:09:28 +0200
Subject: consistency

---
 graph/2sat.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'graph/2sat.cpp')

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);}
-- 
cgit v1.2.3