Changeset 15 for vis_dev/vis-2.3/src/fsm/fsmInt.h
- Timestamp:
- Jul 13, 2011, 11:05:09 AM (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
vis_dev/vis-2.3/src/fsm/fsmInt.h
r14 r15 180 180 boolean createVarCubesFlag; 181 181 } fsmData; 182 183 // For robustness computation 184 struct { 185 mdd_t * originalreachableStates; 186 mdd_t * Safe; FILE* fSafe; 187 mdd_t * Forb; FILE* fForb; 188 mdd_t * Req; FILE* fReq; 189 } RobSets; 190 182 191 }; 183 192
Note: See TracChangeset
for help on using the changeset viewer.