From a5b6a77772a705cccfd25a108a966cc5070d63a3 Mon Sep 17 00:00:00 2001
From: mzuenni <michi.zuendorf@gmail.com>
Date: Mon, 21 Apr 2025 13:28:59 +0200
Subject: moved stuff

---
 content/graph/2sat.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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

diff --git a/content/graph/2sat.cpp b/content/graph/2sat.cpp
index 75e54e6..3e0811f 100644
--- a/content/graph/2sat.cpp
+++ b/content/graph/2sat.cpp
@@ -1,11 +1,9 @@
+constexpr int var(int i) {return i << 1;} // use this!
 struct sat2 {
 	int n; // + scc variablen
 	vector<int> sol;
-
 	sat2(int vars) : n(vars*2), adj(n) {}
 
-	static int var(int i) {return i << 1;} // use this!
-
 	void addImpl(int a, int b) {
 		adj[a].push_back(b);
 		adj[1^b].push_back(1^a);
-- 
cgit v1.2.3