From 31a3e00533833ee1c9131a2d0748ca90e3c0d880 Mon Sep 17 00:00:00 2001
From: Hamed <hamed.gorjiara@gmail.com>
Date: Tue, 22 Aug 2017 03:03:54 -0700
Subject: [PATCH] Add printings ...

---
 src/Encoders/orderencoder.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/Encoders/orderencoder.c b/src/Encoders/orderencoder.c
index 084995b..3c840e7 100644
--- 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);
+		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) {
@@ -390,6 +391,11 @@ void decomposeOrder(CSolver *This, Order *order, OrderGraph *graph) {
 			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);
 }
 
-- 
2.34.1