Mercurial > hg > Members > nobuyasu > CbC
view DPP/state_db.h @ 0:a89b61162c29
add DPP
author | Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 04 Feb 2012 12:40:32 +0900 |
parents | |
children |
line wrap: on
line source
#ifndef _STATE_DB_H_ #define _STATE_DB_H_ typedef struct state_db { struct memory *memory; int hash; 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