Interface should be bool, not happenedbefore

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index b351914cd2b0fbe81faa68149bd993a6056e6833..22b0661cb9228b765f7f7f4111ebecd8dd9bb6a7 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -400,8 +400,9 @@ int CSolver::solve() {
        DecomposeOrderTransform dot(this);
        dot.doTransform();
 
-       IntegerEncodingTransform iet(this);
-       iet.doTransform();
+       //This leaks like crazy
+       //      IntegerEncodingTransform iet(this);
+       //iet.doTransform();
 
        naiveEncodingDecision(this);
        satEncoder->encodeAllSATEncoder(this);
@@ -437,7 +438,7 @@ bool CSolver::getBooleanValue(Boolean *boolean) {
        exit(-1);
 }
 
-HappenedBefore CSolver::getOrderConstraintValue(Order *order, uint64_t first, uint64_t second) {
+bool CSolver::getOrderConstraintValue(Order *order, uint64_t first, uint64_t second) {
        return order->encoding.resolver->resolveOrder(first, second);
 }