NuSMV/code/nusmv/core/utils/OAHash_private.h File Reference

#include "nusmv/core/utils/utils.h"
#include "nusmv/core/utils/OAHash.h"

Go to the source code of this file.

Data Structures
struct	OAEntry
struct	OAHash
	OAHash class definition. More...
Defines
#define	OA_HASH_MINSIZE   8
	Private interface of class 'OAHash'.
#define	PERTURB_SHIFT   5

---

Define Documentation

#define OA_HASH_MINSIZE   8

Private interface of class 'OAHash'.

Author:

Alessandro Mariotti

Todo:

: Missing description

AutomaticStart

Todo:

Missing synopsis

Todo:

Missing description

#define PERTURB_SHIFT   5

Todo:

Missing synopsis

Todo:

Missing description