MarkCacheKey Struct Reference

Collaboration diagram for MarkCacheKey:

[legend]

Data Fields
DdNode *	f
DdNode *	c

---

Detailed Description

Definition at line 75 of file cuddGenCof.c.

---

Field Documentation

DdNode* MarkCacheKey::c

Definition at line 77 of file cuddGenCof.c.

DdNode* MarkCacheKey::f

Definition at line 76 of file cuddGenCof.c.

---

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

• src/bdd/cudd/cuddGenCof.c