Bug fix
authorbdemsky <bdemsky@uci.edu>
Thu, 19 Oct 2017 01:04:50 +0000 (18:04 -0700)
committerbdemsky <bdemsky@uci.edu>
Thu, 19 Oct 2017 01:04:50 +0000 (18:04 -0700)
src/csolver.cc

index 0988a57..fe3d9d9 100644 (file)
@@ -381,7 +381,7 @@ BooleanEdge CSolver::applyLogicalOperation(LogicOp op, BooleanEdge *array, uint
                return BooleanEdge(boolean);
        } else {
                delete boolean;
-               return BooleanEdge(boolean);
+               return BooleanEdge(b);
        }
 }
 
@@ -447,18 +447,18 @@ int CSolver::solve() {
        long long startTime = getTimeNano();
        computePolarities(this);
 
-       Preprocess pp(this);
-       pp.doTransform();
+       //Preprocess pp(this);
+       //pp.doTransform();
 
-       DecomposeOrderTransform dot(this);
-       dot.doTransform();
+       //DecomposeOrderTransform dot(this);
+       //      dot.doTransform();
 
-       IntegerEncodingTransform iet(this);
-       iet.doTransform();
+       //IntegerEncodingTransform iet(this);
+       //      iet.doTransform();
 
-       EncodingGraph eg(this);
-       eg.buildGraph();
-       eg.encode();
+       //EncodingGraph eg(this);
+       //eg.buildGraph();
+       //eg.encode();
 
        naiveEncodingDecision(this);
        satEncoder->encodeAllSATEncoder(this);