3/11/2017:

1. some bug fixedd?

Sparsa Roychowdhury

input1/tpd1_empty

+8 7 1 0 2
+
+1
+8
+
+1 2 0 0 1
+1
+0
+
+2 3 0 0 0
+1 1
+
+3 4 0 0 1
+1
+3 1 1 0 1 0 2
+
+4 5 0 0 0
+2 2 1 0 -1 1
+
+5 6 0 0 1
+1
+0
+
+6 7 0 0 0
+1 1
+
+7 8 0 1 0
+1 0 0 1 1 
+2 1 1 0 -1 0
+
+
+ 0 0 0
+
+ 0 0 0

input1/tpdis0

+26 24 16 0 0
+
+1
+
+26
+
+1 2 0 0 1
+1
+0
+
+2 3 0 0 1
+2
+0
+
+3 4 0 0 1
+3
+0
+
+4 5 0 0 1
+4
+0
+
+5 6 0 0 1
+5
+0
+
+6 7 0 0 1
+6
+0
+
+7 8 0 0 1
+7
+0
+
+8 9 0 0 1
+8
+0
+
+9 10 0 0 1
+9
+0
+
+10 11 0 0 1
+10
+0
+
+11 12 0 0 1
+11
+0
+
+12 13 0 0 1
+12
+0
+
+13 14 0 0 1
+13
+0
+
+14 15 0 0 1
+14
+0
+
+15 16 0 0 1
+15
+0
+
+16 17 0 0 1
+16
+0
+
+17 18 0 2 0
+9 1 0 1 0
+1 2 0 2 0
+0
+
+18 19 0 2 0
+10 1 0 1 0
+2 2 0 2 0
+0
+
+19 20 0 2 0
+11 1 0 1 0
+3 2 0 2 0
+0
+
+20 21 0 2 0
+12 1 0 1 0
+4 2 0 2 0
+0
+
+21 22 0 2 0
+13 1 0 1 0
+5 2 0 2 0
+0
+
+22 23 0 2 0
+14 1 0 1 0
+6 2 0 2 0
+0
+
+23 24 0 2 0
+15 1 0 1 0
+7 2 0 2 0
+0
+
+24 25 0 2 0
+16 1 0 1 0
+8 2 0 2 0
+0
+

src/tpdaCGPP.cpp

@@ -458,7 +458,7 @@ stateGCPP* stateGCPP::reduce(char dn){
     
     // last distance accuracy
     vs->f = nf; // add partial flag variable to new state
-    print_r_matrix(vs->r_matrix,vs->P);
+    //print_r_matrix(vs->r_matrix,vs->P);
     return vs; // return the partially new state, **** last tsm missing with partial nf as given
 }
 
@@ -1844,12 +1844,12 @@ stateGCPP* stateGCPP::reduce2(char dn,char wn,short* clockDis,bool* clockAcc,sho
     {
         cout << int(del[i]) << "\t" ;
     }
-    cout << int(dn) << endl;
-    cout << "before tightning" << endl;
-    print_r_matrix(store_matrix,P+1);
+//    cout << int(dn) << endl;
+//    cout << "before tightning" << endl;
+//    print_r_matrix(store_matrix,P+1);
     pairWiseTightestRelation(store_matrix,P+1);
-    cout << "after tightning" << endl;
-    print_r_matrix(store_matrix,P+1);
+//    cout << "after tightning" << endl;
+//    print_r_matrix(store_matrix,P+1);
     
     //    if(dn==4){
     //