Changeset 30 for vis_dev/vis-2.3/src/rob

Timestamp:

Dec 8, 2011, 4:38:48 PM (13 years ago)

Author:

cecile

Message:

We can now change the transition relation

File:

• vis_dev/vis-2.3/src/rob/Robust.c (modified) (2 diffs)

vis_dev/vis-2.3/src/rob/Robust.c

@@ -636 +636 @@
   mdd_manager *mddManager = Fsm_FsmReadMddManager(fsm);
   
-  // construction du vecteur des registres non protégés
+  // construction du vecteur des registres non prot?g?s
   array_t *nonProtectedIdArray = determine_non_protected_registers(fsm, protect);
   array_t *bdd_vars = getbddvars(mddManager, nonProtectedIdArray); 
-  // sauvegarde des états initiaux et accessibles courants
+  // sauvegarde des ?tats initiaux et accessibles courants
   mdd_t *tmpInit = fsm->reachabilityInfo.initialStates;
   mdd_t *tmpReach = mdd_dup(fsm->reachabilityInfo.reachableStates);
-  // initialisation du résultat à inj_us(S)
+  // initialisation du r?sultat ? inj_us(S)
   mdd_t *res = inj_us(mddManager, bdd_vars, S);
 
@@ -789 +789 @@
 // McGSH_Unassigned_c         // Mc_GSHScheduleType GSHschedule)
                              McGSH_old_c);
-  
+ 
   CtlpFormulaFree(ctlFormula);  
   free(ctlNormalFormulaArray);