summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezsat.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-03-01 20:55:06 +0100
committerClifford Wolf <clifford@clifford.at>2014-03-01 20:55:06 +0100
commitedc21460565ea75cff54cab69933da8c5e9db382 (patch)
tree66f7a6f15b45d63549bc81a73961186ba3044f64 /libs/ezsat/ezsat.cc
parente3debea4e659126c538a2ff5c6a9987ca7778d89 (diff)
Removed ezSAT::assumed() API
Diffstat (limited to 'libs/ezsat/ezsat.cc')
-rw-r--r--libs/ezsat/ezsat.cc2
1 files changed, 0 insertions, 2 deletions
diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc
index 4ae5f4fd..f77a3b91 100644
--- a/libs/ezsat/ezsat.cc
+++ b/libs/ezsat/ezsat.cc
@@ -342,7 +342,6 @@ void ezSAT::clear()
cnfLiteralVariables.clear();
cnfExpressionVariables.clear();
cnfClauses.clear();
- cnfAssumptions.clear();
}
void ezSAT::freeze(int)
@@ -351,7 +350,6 @@ void ezSAT::freeze(int)
void ezSAT::assume(int id)
{
- cnfAssumptions.insert(id);
if (id < 0)
{