cloudManager Struct Reference

#include <cloud.h>

Collaboration diagram for cloudManager:

[legend]

Data Fields
int	nVars
int	bitsNode
int	bitsCache [4]
int	shiftUnique
int	shiftCache [4]
int	nNodesAlloc
int	nNodesLimit
int	nNodesCur
CloudSign	nSignCur
int	nMemUsed
int	nUniqueHits
int	nUniqueMisses
int	nCacheHits
int	nCacheMisses
int	nUniqueSteps
CloudNode *	tUnique
CloudNode *	pNodeStart
CloudNode *	pNodeEnd
CloudNode *	one
CloudNode *	zero
CloudNode **	vars
CloudNode **	ppNodes
CloudCacheEntry2 *	tCaches [20]

---

Detailed Description

Definition at line 87 of file cloud.h.

---

Field Documentation

int cloudManager::bitsCache[4]

Definition at line 93 of file cloud.h.

int cloudManager::bitsNode

Definition at line 92 of file cloud.h.

int cloudManager::nCacheHits

Definition at line 109 of file cloud.h.

int cloudManager::nCacheMisses

Definition at line 110 of file cloud.h.

int cloudManager::nMemUsed

Definition at line 105 of file cloud.h.

int cloudManager::nNodesAlloc

Definition at line 98 of file cloud.h.

int cloudManager::nNodesCur

Definition at line 100 of file cloud.h.

int cloudManager::nNodesLimit

Definition at line 99 of file cloud.h.

CloudSign cloudManager::nSignCur

Definition at line 102 of file cloud.h.

int cloudManager::nUniqueHits

Definition at line 107 of file cloud.h.

int cloudManager::nUniqueMisses

Definition at line 108 of file cloud.h.

int cloudManager::nUniqueSteps

Definition at line 112 of file cloud.h.

int cloudManager::nVars

Definition at line 90 of file cloud.h.

CloudNode* cloudManager::one

Definition at line 122 of file cloud.h.

CloudNode* cloudManager::pNodeEnd

Definition at line 119 of file cloud.h.

CloudNode* cloudManager::pNodeStart

Definition at line 118 of file cloud.h.

CloudNode** cloudManager::ppNodes

Definition at line 127 of file cloud.h.

int cloudManager::shiftCache[4]

Definition at line 96 of file cloud.h.

int cloudManager::shiftUnique

Definition at line 95 of file cloud.h.

CloudCacheEntry2* cloudManager::tCaches[20]

Definition at line 130 of file cloud.h.

CloudNode* cloudManager::tUnique

Definition at line 115 of file cloud.h.

CloudNode** cloudManager::vars

Definition at line 124 of file cloud.h.

CloudNode* cloudManager::zero

Definition at line 123 of file cloud.h.

---

The documentation for this struct was generated from the following file:

• src/aig/kit/cloud.h