From 9af7e3a6f4ee3ba306f02bb7e2536d0764db6966 Mon Sep 17 00:00:00 2001
From: Paul Jungeblut <paul.jungeblut@gmail.com>
Date: Tue, 21 Mar 2017 12:36:46 +0100
Subject: Adding shortcut to NAND clause in 2-SAT code.

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

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

diff --git a/graph/2sat.cpp b/graph/2sat.cpp
index bc1572d..99df78c 100644
--- a/graph/2sat.cpp
+++ b/graph/2sat.cpp
@@ -19,6 +19,7 @@ struct sat2 {
 	void addTrue(int v1) { addImpl(1^v1, v1); }
 	void addFalse(int v1) { addTrue(1^v1); }
 	void addAnd(int v1, int v2) {	addTrue(v1); addTrue(v2); }
+	void addNand(int v1, int v2) { addOr(1^v1, 1^v2); }
 
 	void dfs(int v) {
 		visited[v] = true;
-- 
cgit v1.2.3