ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
cloudManager Struct Reference

#include <cloud.h>

Collaboration diagram for cloudManager:
Collaboration graph
[legend]

Public Attributes

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 90 of file cloud.h.

Member Data Documentation

◆ bitsCache

int cloudManager::bitsCache[4]

Definition at line 96 of file cloud.h.

◆ bitsNode

int cloudManager::bitsNode

Definition at line 95 of file cloud.h.

◆ nCacheHits

int cloudManager::nCacheHits

Definition at line 112 of file cloud.h.

◆ nCacheMisses

int cloudManager::nCacheMisses

Definition at line 113 of file cloud.h.

◆ nMemUsed

int cloudManager::nMemUsed

Definition at line 108 of file cloud.h.

◆ nNodesAlloc

int cloudManager::nNodesAlloc

Definition at line 101 of file cloud.h.

◆ nNodesCur

int cloudManager::nNodesCur

Definition at line 103 of file cloud.h.

◆ nNodesLimit

int cloudManager::nNodesLimit

Definition at line 102 of file cloud.h.

◆ nSignCur

CloudSign cloudManager::nSignCur

Definition at line 105 of file cloud.h.

◆ nUniqueHits

int cloudManager::nUniqueHits

Definition at line 110 of file cloud.h.

◆ nUniqueMisses

int cloudManager::nUniqueMisses

Definition at line 111 of file cloud.h.

◆ nUniqueSteps

int cloudManager::nUniqueSteps

Definition at line 115 of file cloud.h.

◆ nVars

int cloudManager::nVars

Definition at line 93 of file cloud.h.

◆ one

CloudNode* cloudManager::one

Definition at line 125 of file cloud.h.

◆ pNodeEnd

CloudNode* cloudManager::pNodeEnd

Definition at line 122 of file cloud.h.

◆ pNodeStart

CloudNode* cloudManager::pNodeStart

Definition at line 121 of file cloud.h.

◆ ppNodes

CloudNode** cloudManager::ppNodes

Definition at line 130 of file cloud.h.

◆ shiftCache

int cloudManager::shiftCache[4]

Definition at line 99 of file cloud.h.

◆ shiftUnique

int cloudManager::shiftUnique

Definition at line 98 of file cloud.h.

◆ tCaches

CloudCacheEntry2* cloudManager::tCaches[20]

Definition at line 133 of file cloud.h.

◆ tUnique

CloudNode* cloudManager::tUnique

Definition at line 118 of file cloud.h.

◆ vars

CloudNode** cloudManager::vars

Definition at line 127 of file cloud.h.

◆ zero

CloudNode* cloudManager::zero

Definition at line 126 of file cloud.h.

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