Changeset 96 for vis_dev/vis-2.3/src/debug

Timestamp:

Jul 9, 2012, 4:36:29 PM (12 years ago)

Author:

cecile

Message:

verbose

File:

• vis_dev/vis-2.3/src/debug/debug.c (modified) (4 diffs)

vis_dev/vis-2.3/src/debug/debug.c

@@ -829 +829 @@
 /* with the transtion relation     */
 /***********************************/
-rel = buildDummy3(mddManager,network);
+rel = buildDummyBdd(mddManager);
 if(rel == NIL(mdd_t))
 {
@@ -853 +853 @@
 char * nodeName;
 arrayForEachItem(char *, roots, i, nodeName) {
+  
         /* The new relation */ 
         vertex_t *vertex = Part_PartitionFindVertexByName(partition, nodeName);
@@ -858 +859 @@
     int mddId = array_fetch(int, rangeVarMddIdArray, i);
         mdd_t *relation = Mvf_FunctionBuildRelationWithVariable(mvf, mddId);
-    mdd_FunctionPrintMain (mddManager ,relation,"MVF",vis_stdout);
+    if(verbose){
+      int x;
+      mdd_t * comp;
+
+      Mvf_FunctionForEachComponent( mvf, x, comp){
+        printf("%d mdd %d ",x,mddId);
+        mdd_FunctionPrintMain (mddManager ,comp,"MVF",vis_stdout);
+      }
+    }
 
         mdd_t * n_relation = mdd_and(relation,rel,1,1);
@@ -902 +911 @@
 
 usage:
-(void) fprintf(vis_stderr, "usage: _Debug_test [-h] [-v]\n");
+(void) fprintf(vis_stderr, "usage: _transition [-h] [-v]\n");
 (void) fprintf(vis_stderr, "   -h\t\tprint the command usage\n");
 (void) fprintf(vis_stderr, "   -v\t\tverbose\n");