Add printings ...

[satune.git] / src / Encoders / orderencoder.c

diff --git a/src/Encoders/orderencoder.c b/src/Encoders/orderencoder.c
index 084995b1126b4823c93eae99da7e0fc8432cbfa8..3c840e72db264e87772a6187869c003644ac595a 100644 (file)
--- a/src/Encoders/orderencoder.c
+++ b/src/Encoders/orderencoder.c
@@ -357,6 +357,7 @@ void decomposeOrder(CSolver *This, Order *order, OrderGraph *graph) {
                BooleanOrder *orderconstraint = getVectorBooleanOrder(&order->constraints, i);
                OrderNode *from = getOrderNodeFromOrderGraph(graph, orderconstraint->first);
                OrderNode *to = getOrderNodeFromOrderGraph(graph, orderconstraint->second);
                BooleanOrder *orderconstraint = getVectorBooleanOrder(&order->constraints, i);
                OrderNode *from = getOrderNodeFromOrderGraph(graph, orderconstraint->first);
                OrderNode *to = getOrderNodeFromOrderGraph(graph, orderconstraint->second);

+               model_print("from->sccNum:%u\tto->sccNum:%u\n", from->sccNum, to->sccNum);

                if (from->sccNum != to->sccNum) {
                        OrderEdge *edge = getOrderEdgeFromOrderGraph(graph, from, to);                  
                        if (edge->polPos) {
                if (from->sccNum != to->sccNum) {
                        OrderEdge *edge = getOrderEdgeFromOrderGraph(graph, from, to);                  
                        if (edge->polPos) {


@@ -390,6 +391,11 @@ void decomposeOrder(CSolver *This, Order *order, OrderGraph *graph) {
                        addOrderConstraint(neworder, orderconstraint);
                }
        }
                        addOrderConstraint(neworder, orderconstraint);
                }
        }

+       for(uint i=0; i<getSizeVectorOrder(&ordervec); i++){
+               Order* order = getVectorOrder(&ordervec, i);
+               if(order!=NULL)
+                       model_print("i=%u\t", i);
+       }

        deleteVectorArrayOrder(&ordervec);
 }
 
        deleteVectorArrayOrder(&ordervec);
 }