Adding DecomposeOrderResolver

[satune.git] / src / AST / order.cc

diff --git a/src/AST/order.cc b/src/AST/order.cc
index d359ee62392fba5a0979d064a802822d87220d12..908d69115ca97764570289787cf0dc72c9f7cd35 100644 (file)
--- a/src/AST/order.cc
+++ b/src/AST/order.cc
@@ -10,7 +10,7 @@ Order::Order(OrderType _type, Set *_set) :
        set(_set),
        orderPairTable(NULL),
        graph(NULL),
-       order(this)
+       encoding(this)
 {
 }
 
@@ -24,7 +24,7 @@ void Order::addOrderConstraint(BooleanOrder *constraint) {
 }
 
 void Order::setOrderEncodingType(OrderEncodingType type) {
-       order.type = type;
+       encoding.type = type;
 }
 
 Order *Order::clone(CSolver *solver, CloneMap *map) {