#include <polybori/pbori_defs.h>#include <polybori/BooleEnv.h>#include "CCacheManagement.h"Go to the source code of this file.
Namespaces | |
| namespace | polybori |
Classes | |
| class | polybori::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 | polybori::CIndexCacheHandle< NaviType > |
| class | polybori::CDegreeCache< DDType > |
| class | polybori::CBoundedDegreeCache< DDType > |
| class | polybori::CBlockDegreeCache< DDType > |
| class | polybori::CDegreeArgumentCache< TagType, DDType > |
1.5.6