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 RuntimeHash * forward, struct RuntimeHash * reverse);
   6
   7 void restorecheckpoint(int numparams, void ** original, void ** checkpoint, struct RuntimeHash *forward, struct RuntimeHash * reverse);
   8
   9 void * createcopy(void * orig);
  10 void freemalloc();
  11 #endif