Changeset 96


Ignore:
Timestamp:
Jul 9, 2012, 4:36:29 PM (12 years ago)
Author:
cecile
Message:

verbose

File:
1 edited

Legend:

Unmodified
Added
Removed
  • vis_dev/vis-2.3/src/debug/debug.c

    r45 r96  
    829829/* with the transtion relation     */
    830830/***********************************/
    831 rel = buildDummy3(mddManager,network);
     831rel = buildDummyBdd(mddManager);
    832832if(rel == NIL(mdd_t))
    833833{
     
    853853char * nodeName;
    854854arrayForEachItem(char *, roots, i, nodeName) {
     855 
    855856        /* The new relation */
    856857        vertex_t *vertex = Part_PartitionFindVertexByName(partition, nodeName);
     
    858859    int mddId = array_fetch(int, rangeVarMddIdArray, i);
    859860        mdd_t *relation = Mvf_FunctionBuildRelationWithVariable(mvf, mddId);
    860     mdd_FunctionPrintMain (mddManager ,relation,"MVF",vis_stdout);
     861    if(verbose){
     862      int x;
     863      mdd_t * comp;
     864
     865      Mvf_FunctionForEachComponent( mvf, x, comp){
     866        printf("%d mdd %d ",x,mddId);
     867        mdd_FunctionPrintMain (mddManager ,comp,"MVF",vis_stdout);
     868      }
     869    }
    861870
    862871        mdd_t * n_relation = mdd_and(relation,rel,1,1);
     
    902911
    903912usage:
    904 (void) fprintf(vis_stderr, "usage: _Debug_test [-h] [-v]\n");
     913(void) fprintf(vis_stderr, "usage: _transition [-h] [-v]\n");
    905914(void) fprintf(vis_stderr, "   -h\t\tprint the command usage\n");
    906915(void) fprintf(vis_stderr, "   -v\t\tverbose\n");
Note: See TracChangeset for help on using the changeset viewer.