diff options
Diffstat (limited to 'libs/ezsat/ezminisat.h')
| -rw-r--r-- | libs/ezsat/ezminisat.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/ezsat/ezminisat.h b/libs/ezsat/ezminisat.h index e7e082891..c634e66e7 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); }; |