#include "pbori_defs.h"#include "BooleEnv.h"#include "CCacheManagement.h"Go to the source code of this file.
Classes | |
| class | CIndexHandle< NaviType > |
| This class defines an uses an navigator-like type for storing integer values from 0 upto nmax (number of currently active ring variables). More... | |
| class | CIndexCacheHandle< NaviType > |
| class | CDegreeCache< TagType, DDType > |
| class | CBlockDegreeCache< TagType, DDType > |
| class | CDegreeArgumentCache< TagType, DDType > |
This file contains declaration and template specilizations for the class template CDegreeCache.
1.6.3