FCSStateStorage.h File Reference

This file contains the state storage classes. More...

#include "CompareAlgorithms.h"
#include "HashAlgorithms.h"
#include "AGenericTree.h"
#include "FCInternalHash.h"
#include "GLIBHash.h"
#include "FCIndirectState.h"
#include "FCSIndirectStateWithLocations.h"
#include "FCSIndirectStateCompareAlgorithm.h"
#include "FCState.h"

Go to the source code of this file.

Classes
class	AFCSGenericStateStorage
	Abstract, generic state storage class. More...
class	FCTreeStateStorage
	Generic tree state storage class. More...
class	FCAVLTreeStateStorage
	AVL tree state storage class. More...
class	FCAVLRedBlackTreeStateStorage
	AVL Red-Black tree state storage class. More...
class	FCRedBlackTreeStateStorage
	Red-Black tree state storage class. More...
class	FCGLIBTreeStateStorage
	Glib tree state storage class. More...
class	FCHashStateStorage
	Generic hash state storage class. More...
class	FCGLIBHashStateStorage
	GLIB hash state storage class. More...
class	FCInternalHashStateStorage
	Internal state storage class. More...
class	FCIndirectStateStorage
	Indirect stack storage class. More...
Defines
#define	PREV_STATES_SORT_MARGIN   32
	The sort margin size for the previous states array.
#define	PREV_STATES_GROW_BY   128
	The amount prev_states grow by each time it each resized.
#define	HASH_TABLE_SIZE   2048
	How big to make the hash tables.
#define	TALON_CACHE_SIZE   512
	How big to make the talon cache.

---

Detailed Description

Author:

Michael Mann

Version:

1.0

Date:

August 2002

Definition in file FCSStateStorage.h.

---