summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezsat.h
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-02-23 01:35:59 +0100
committerClifford Wolf <clifford@clifford.at>2014-02-23 01:35:59 +0100
commitdab1612f81212d1bc1c07ee77b265167861ec883 (patch)
tree2baf983b4b6ee965ceeac4d3038c05b064c4fe9c /libs/ezsat/ezsat.h
parentb76528d8a557dc324b1dfaa366e2b620795f582d (diff)
Added support for Minisat::SimpSolver + ezSAT frezze() API
Diffstat (limited to 'libs/ezsat/ezsat.h')
-rw-r--r--libs/ezsat/ezsat.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h
index 547edb93..79100b87 100644
--- a/libs/ezsat/ezsat.h
+++ b/libs/ezsat/ezsat.h
@@ -141,6 +141,7 @@ public:
// manage CNF (usually only accessed by SAT solvers)
virtual void clear();
+ virtual void freeze(int id);
void assume(int id);
int bind(int id);
@@ -154,6 +155,8 @@ public:
void consumeCnf();
void consumeCnf(std::vector<std::vector<int>> &cnf);
+ std::string cnfLiteralInfo(int idx) const;
+
// simple helpers for build expressions easily
struct _V {