Changeset 37 for vis_dev/vis-2.3


Ignore:
Timestamp:
Jan 5, 2012, 4:33:54 PM (13 years ago)
Author:
cecile
Message:

the network now take the new fsm as fsm

File:
1 edited

Legend:

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

    r36 r37  
    598598        return 1;
    599599}
     600if (verbose)
     601  mdd_FunctionPrintMain (mddManager ,rel,"REL",vis_stdout);
     602
    600603
    601604/** Get image_info **/
     
    634637        Part_VertexSetFunction(vertex, newMvf);
    635638//      printf("vertex %s changed % d\n",PartVertexReadName(vertex));
    636         Mvf_FunctionFree(mvf);
    637 }
    638 
    639 /** Change the fsm **/
    640 fsm = Fsm_FsmCreateFromNetworkWithPartition(network, partition);
     639}
     640
     641/** Change the fsm and the network with a new partition and the new fsm **/
     642Ntk_NetworkSetApplInfo(network, PART_NETWORK_APPL_KEY,
     643                                          (Ntk_ApplInfoFreeFn) Part_PartitionFreeCallback,
     644                                          (void *) partition);
     645fsm = Fsm_FsmCreateFromNetworkWithPartition(network, NIL(graph_t));
    641646mdd_t * init  = Fsm_FsmComputeInitialStates(fsm);
    642 Fsm_FsmComputeReachableStates(fsm,0,verbose,
     647mdd_t * reach = Fsm_FsmComputeReachableStates(fsm,0,verbose,
    643648                                      0,0, 0,
    644649                                      0, 0, Fsm_Rch_Default_c,
    645650                                      0,1, NIL(array_t),
    646651                                      (verbose > 0),  NIL(array_t));
     652fsm->reachabilityInfo.initialStates = init;
     653fsm->reachabilityInfo.reachableStates = reach;
    647654if(verbose)
    648655        Fsm_FsmReachabilityPrintResults(fsm,3, 0);
    649 /** Change Image Info **/
    650 Ntk_NetworkSetApplInfo(network, PART_NETWORK_APPL_KEY,
    651                                           (Ntk_ApplInfoFreeFn) Part_PartitionFreeCallback,
    652                                           (void *) partition);
    653 
     656
     657Ntk_NetworkSetApplInfo(network, FSM_NETWORK_APPL_KEY,
     658                         (Ntk_ApplInfoFreeFn) Fsm_FsmFreeCallback,
     659                         (void *) fsm);
    654660
    655661return 0;               /* normal exit */
Note: See TracChangeset for help on using the changeset viewer.