Robust/src/Runtime/checkpoint.h

   1 #ifndef CHECKPOINT_H
   2 #define CHECKPOINT_H
   3 #include "SimpleHash.h"
   4
   5 void ** makecheckpoint(int numparams, void ** pointerarray, struct SimpleHash * forward, struct SimpleHash * reverse);
   6
   7 void restorecheckpoint(int numparams, void ** original, void ** checkpoint, struct SimpleHash *forward, struct SimpleHash * reverse);
   8
   9 void * createcopy(void * orig);
  10
  11 #endif