state-check.h

Go to the documentation of this file.

#ifndef INC_revent_check_state_check
#define INC_revent_check_state_check
 
typedef struct crv_lpstate_checkpoint {
    void * state;
    tw_rng_stream rng;
    tw_rng_stream core_rng;
} crv_lpstate_checkpoint;
 
typedef void (*save_lpstate_f) (crv_lpstate_checkpoint * into, const tw_lp * clp);
 
 
typedef struct crv_state {
    tw_lptype * lptype;
    save_lpstate_f * state;
} crv_state;
 
void crv_copy_lpstate(crv_lpstate_checkpoint * into, const tw_lp * clp);
 
void crv_check_lpstates(
         tw_lp * clp,
         tw_event * cev,
         const crv_lpstate_checkpoint * before_state,
         const char * before_msg,
         const char * after_msg
);
 
#endif