MarkCacheKey Struct Reference

Collaboration diagram for MarkCacheKey:

[legend]

Data Fields
DdNode *	f
DdNode *	c

---

Detailed Description

Definition at line 104 of file cuddGenCof.c.

---

Field Documentation

DdNode* MarkCacheKey::c

Definition at line 106 of file cuddGenCof.c.

DdNode* MarkCacheKey::f

Definition at line 105 of file cuddGenCof.c.

---

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

• src/cuBdd/cuddGenCof.c