Changeset 15
- Timestamp:
- Jul 13, 2011, 11:05:09 AM (13 years ago)
- Location:
- vis_dev
- Files:
-
- 5 added
- 7 edited
Legend:
- Unmodified
- Added
- Removed
-
vis_dev/glu-2.3/src/array/array.c
r13 r15 65 65 } 66 66 (void) memcpy(newa->space, old->space, old->num * old->obj_size); 67 return newa; 68 } 69 70 array_t * 71 array_partial_dup(array_t *old, int i) 72 { 73 array_t *newa; 74 75 newa = ALLOC(array_t, 1); 76 if (newa == NIL(array_t)) { 77 return NIL(array_t); 78 } 79 newa->num = old->num - 1; 80 newa->n_size = old->num - 1; 81 newa->obj_size = old->obj_size; 82 newa->index = -newa->obj_size; 83 newa->space = ALLOC(char, newa->n_size * newa->obj_size); 84 if (newa->space == NIL(char)) { 85 FREE(newa); 86 return NIL(array_t); 87 } 88 if (i > 0) 89 (void) memcpy(newa->space, old->space, i * old->obj_size); 90 if (i < old->num - 1) 91 (void) memcpy(newa->space + ((i) * old->obj_size), 92 old->space + ((i+1) * old->obj_size), (old->num - (i + 1)) * old->obj_size); 67 93 return newa; 68 94 } -
vis_dev/glu-2.3/src/array/array.h
r13 r15 34 34 EXTERN int array_resize ARGS((array_t *, int)); 35 35 EXTERN char *array_do_data ARGS((array_t *)); 36 EXTERN array_t * array_partial_dup(array_t *old, int i); 36 37 37 38 extern int unsigned array_global_index; -
vis_dev/vis-2.3/Makefile.in
r14 r15 94 94 #---------------------------------------------------------------------- 95 95 96 ALL_PKGS = abs amc baig bmc cmd ctlp ctlsp eqv fsm grab hrc imc img io ltl \96 ALL_PKGS = abs amc baig bmc cmd ctlp ctlsp eqv fsm rob grab hrc imc img io ltl \ 97 97 maig mark mc mvf mvfaig ntk ntm ntmaig ord part puresat rst res restr \ 98 98 rt sat sim spfd synth tbl truesim tst var vm -
vis_dev/vis-2.3/src/bmc/bmcCmd.c
r14 r15 46 46 /*---------------------------------------------------------------------------*/ 47 47 48 staticBmcOption_t * ParseBmcOptions(int argc, char **argv);48 /*static*/ BmcOption_t * ParseBmcOptions(int argc, char **argv); 49 49 static int CommandBmc(Hrc_Manager_t ** hmgr, int argc, char ** argv); 50 50 static void TimeOutHandle(void); … … 104 104 105 105 ******************************************************************************/ 106 staticBmcOption_t *106 /*static*/ BmcOption_t * 107 107 ParseBmcOptions( 108 108 int argc, -
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 -
vis_dev/vis-2.3/src/fsm/fsmReach.c
r14 r15 65 65 66 66 static int CheckImageValidity(mdd_manager *mddManager, mdd_t *image, array_t *domainVarMddIdArray, array_t *quantifyVarMddIdArray); 67 staticint ComputeNumberOfBinaryStateVariables(mdd_manager *mddManager, array_t *mddIdArray);67 /*static*/ int ComputeNumberOfBinaryStateVariables(mdd_manager *mddManager, array_t *mddIdArray); 68 68 static mdd_t * AddStates(mdd_t *a, mdd_t *b, int freeA, int freeB); 69 69 static void RandomSimulation(int simNVec, Fsm_Fsm_t *fsm, Fsm_RchType_t approxFlag, mdd_t *initialStates, mdd_t **reachableStates, mdd_t **fromLowerBound, FsmHdStruct_t *hdInfo); … … 1162 1162 1163 1163 ******************************************************************************/ 1164 staticint1164 /*static*/ int 1165 1165 ComputeNumberOfBinaryStateVariables(mdd_manager *mddManager, 1166 1166 array_t *mddIdArray) -
vis_dev/vis-2.3/src/vm/vmInit.c
r14 r15 105 105 Bmc_Init(); 106 106 PureSat_Init(); 107 Rob_Init(); 107 108 } 108 109 … … 154 155 ntmaig_End(); 155 156 Bmc_End(); 156 157 Rob_End(); 157 158 if (vis_stdout != stdout) { 158 159 (void) fclose(vis_stdout);
Note: See TracChangeset
for help on using the changeset viewer.