Mercurial > hg > Gears > Gears
view src/parallel_execution/DebugWorker/state_db.h @ 1015:e6778c866876
add DebugWorker and DebugTaskManager
author | Takato Matsuoka <t.matsuoka@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 18 Jan 2022 19:54:28 +0900 |
parents | |
children |
line wrap: on
line source
#ifndef _STATE_DB_H_ #define _STATE_DB_H_ typedef struct state_db { struct memory *memory; unsigned hash; int visit; // visiting count for repeating search int flag; // CTL state struct state_db *left; struct state_db *right; } StateNode, *StateDB; extern int lookup_StateDB(StateDB s, StateDB *db, StateDB *out); extern int state_count(); extern void reset_state_count(); #endif