Mercurial > hg > CbC > old > DPP
comparison state_db.h @ 0:d4bc23cb728b
Import from CVS (CVS_DB/member/atsuki/cbc/DPP)
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 16 Dec 2015 15:16:11 +0900 |
parents | |
children | a04eccfc69ae |
comparison
equal
deleted
inserted
replaced
-1:000000000000 | 0:d4bc23cb728b |
---|---|
1 #ifndef _STATE_DB_H_ | |
2 #define _STATE_DB_H_ | |
3 | |
4 | |
5 typedef struct state_db { | |
6 struct memory *memory; | |
7 int hash; | |
8 struct state_db *left; | |
9 struct state_db *right; | |
10 } StateNode, *StateDB; | |
11 | |
12 extern int | |
13 lookup_StateDB(StateDB s, StateDB *db, StateDB *out); | |
14 | |
15 extern int state_count(); | |
16 extern void reset_state_count(); | |
17 | |
18 | |
19 | |
20 #endif |