Edit
authorHamed Gorjiara <hgorjiar@uci.edu>
Mon, 17 Dec 2018 21:33:37 +0000 (13:33 -0800)
committerHamed Gorjiara <hgorjiar@uci.edu>
Mon, 17 Dec 2018 21:33:37 +0000 (13:33 -0800)
src/AST/astops.h
src/ASTTransform/varorderingopt.cc

index a451c5f..04b4c83 100644 (file)
@@ -25,7 +25,7 @@ enum ElementEncodingType {
 
 typedef enum ElementEncodingType ElementEncodingType;
 
-enum BooleanVarOrdering {CONSTRAINTORDERING=0, CHORONOLOGICALORDERING=1, REVERSEORDERING=2};
+enum BooleanVarOrdering {CONSTRAINTORDERING=0, ELEMENTORDERING=1, REVERSEORDERING=2};
 typedef enum BooleanVarOrdering BooleanVarOrdering;
 
 Polarity negatePolarity(Polarity This);
index 52beda9..890afd9 100644 (file)
@@ -32,7 +32,7 @@ void VarOrderingOpt::doTransform() {
        }
 
        uint size = solver->allElements.getSize();
-       if (direction == CHORONOLOGICALORDERING) {
+       if (direction == ELEMENTORDERING) {
                for (uint i = 0; i < size; i++) {
                        Element *el = solver->allElements.get(i);
                        ElementEncoding *encoding = el->getElementEncoding();