From 893fe87a33dc6646cabc7538d4dbe411041afb94 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 1 Feb 2015 22:41:03 +0100
Subject: Improved performance in equiv_simple

---
 libs/ezsat/ezsat.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'libs/ezsat/ezsat.h')

diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h
index a20713bc..0faaa6b8 100644
--- a/libs/ezsat/ezsat.h
+++ b/libs/ezsat/ezsat.h
@@ -163,6 +163,7 @@ public:
 	virtual void freeze(int id);
 	virtual bool eliminated(int idx);
 	void assume(int id);
+	void assume(int id, int context_id) { assume(OR(id, NOT(context_id))); }
 	int bind(int id, bool auto_freeze = true);
 	int bound(int id) const;
 
-- 
cgit v1.2.3