C Interface

Flag Snapshot_all_create(int id, FlagFunc scheduler, Counter *ctr);

Flag Snapshot_all_destroy(int id, Counter *ctr);

Flag Snapshot_all_freeze(int id, Counter *ctr);

Flag Snapshot_all_unFreeze(int id, Counter *ctr);

Flag Snapshot_all_sync(int id, Counter *ctr);

Flag Snapshot_query(int id);

void Snapshot_suspend(int id, Thread *tid);

void Snapshot_execute(int id, int proc);

void Snapshot_complete(int id);