ccgs.h

Go to the documentation of this file.

#pragma once

enum {
    CKTRM_INVALID = 0,  
    CKTRM_NORMAL,       
    CKTRM_INCREMENTAL,  
    CKTRM_ACCURATE      
};

#include <mm/state.h>

extern inline bool ccgs_can_halt_simulation(void);
extern void ccgs_reduce_termination(void);
extern void ccgs_compute_snapshot(state_t *time_barrier_pointer[]);
extern bool ccgs_lp_can_halt(struct lp_struct *lp);