DdCache Struct Reference

#include <cuddInt.h>

Public Attributes
DdNode *	f
DdNode *	g
ptruint	h
DdNode *	data

Detailed Description

Definition at line 301 of file cuddInt.h.

Member Data Documentation

data

DdNode* DdCache::data

Definition at line 304 of file cuddInt.h.

f

DdNode* DdCache::f

Definition at line 302 of file cuddInt.h.

g

DdNode * DdCache::g

Definition at line 302 of file cuddInt.h.

h

ptruint DdCache::h

Definition at line 303 of file cuddInt.h.

---

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

• /home/runner/work/SVF-1/SVF-1/include/CUDD/cuddInt.h