diff options
Diffstat (limited to 'libs/ezsat/ezsat.h')
-rw-r--r-- | libs/ezsat/ezsat.h | 3 |
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 { |