Changeset 21 for vis_dev/vis-2.3/src/rob/Robust.h

Timestamp:

Jul 19, 2011, 4:51:20 PM (13 years ago)

Author:

cecile

Message:

un delete de trop

File:

• vis_dev/vis-2.3/src/rob/Robust.h (modified) (1 diff)

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

@@ -55 +55 @@
 array_t* determine_non_protected_registers(Fsm_Fsm_t  *fsm, FILE *f);
 mdd_t*   compute_error_states     (Fsm_Fsm_t  *fsm, mdd_t* reachable,
-                                   int verbosityLevel, int printStep,
-                                   FILE* protected);
-mdd_t*   error_states_us_ut(Fsm_Fsm_t  *fsm, mdd_t* reachable,
-                                   FILE* protected);
+                                   int verbosityLevel, int printStep,  FILE* protect);
+mdd_t*   error_states_us_ut(Fsm_Fsm_t  *fsm, mdd_t* reachable,FILE* protect);
+mdd_t* error_states_us_mt(Fsm_Fsm_t  *fsm, mdd_t *S,  FILE *protect);
+mdd_t* error_states_ms_ut(Fsm_Fsm_t  *fsm, mdd_t *S,  FILE *protect);                 
+mdd_t* error_states_ms_mt(Fsm_Fsm_t  *fsm, mdd_t* S0,mdd_t *S,  FILE *protect)
+;
 void     compute_fair             (Fsm_Fsm_t  *fsm,int  verbosityLevel);
 Hrc_Node_t  * build_golden_faulty_compo(Hrc_Manager_t * hmgr,Hrc_Node_t  * rootNode,    Hrc_Model_t * newRootModel);