From d500bd749f84c0b05a8ec96d2a5fc33ace0c5b58 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 1 Mar 2014 21:00:34 +0100
Subject: Added ezSAT::eliminated API to help the SAT solver remember
 eliminated variables

---
 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 8d340b3d6..16f940a1d 100644
--- a/libs/ezsat/ezsat.h
+++ b/libs/ezsat/ezsat.h
@@ -141,6 +141,7 @@ public:
 
 	virtual void clear();
 	virtual void freeze(int id);
+	virtual bool eliminated(int idx);
 	void assume(int id);
 	int bind(int id);
 	int bound(int id) const;
-- 
cgit v1.2.3