summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezminisat.h
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-03-01 21:00:34 +0100
committerClifford Wolf <clifford@clifford.at>2014-03-01 21:00:34 +0100
commitd500bd749f84c0b05a8ec96d2a5fc33ace0c5b58 (patch)
tree90f2dc8cf7195a71ab48c4fea0b9ce1e6e105f71 /libs/ezsat/ezminisat.h
parent23f0a12c727721478bcb87ec142fb86a329f7cdb (diff)
Added ezSAT::eliminated API to help the SAT solver remember eliminated variables
Diffstat (limited to 'libs/ezsat/ezminisat.h')
-rw-r--r--libs/ezsat/ezminisat.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/ezsat/ezminisat.h b/libs/ezsat/ezminisat.h
index e7e08289..c634e66e 100644
--- a/libs/ezsat/ezminisat.h
+++ b/libs/ezsat/ezminisat.h
@@ -61,6 +61,7 @@ public:
virtual void clear();
#if EZMINISAT_SIMPSOLVER && EZMINISAT_INCREMENTAL
virtual void freeze(int id);
+ virtual bool eliminated(int idx);
#endif
virtual bool solver(const std::vector<int> &modelExpressions, std::vector<bool> &modelValues, const std::vector<int> &assumptions);
};