path: root/libs/ezsat/ezsat.h
diff options
authorClifford Wolf <>2013-11-25 02:50:34 +0100
committerClifford Wolf <>2013-11-25 02:50:34 +0100
commit4d433317483d5db3087037619bb681a6e917fc7d (patch)
tree435185a1ae1b1a3a53e1d86431e8243883460767 /libs/ezsat/ezsat.h
parent76f7c10cfc7450e6be8eb25fc26f5447e05759b0 (diff)
Removed undef feature from ezsat api
Diffstat (limited to 'libs/ezsat/ezsat.h')
1 files changed, 0 insertions, 3 deletions
diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h
index 3fb5fcaf..abec0b23 100644
--- a/libs/ezsat/ezsat.h
+++ b/libs/ezsat/ezsat.h
@@ -101,9 +101,6 @@ public:
// If you are planning on using the solver API (and not simply create a CNF) you must use a child class
// of ezSAT that actually implements a solver backend, such as ezMiniSAT (see ezminisat.h).
- // Note: Solvers that can output don't-care values for model variables return a twice as big modelValues
- // vector. The first half contains the values and the second half the don't-care flags.
virtual bool solver(const std::vector<int> &modelExpressions, std::vector<bool> &modelValues, const std::vector<int> &assumptions);
bool solve(const std::vector<int> &modelExpressions, std::vector<bool> &modelValues, const std::vector<int> &assumptions) {