MarkCacheKey Struct Reference

Data Fields
DdNode *	f
DdNode *	c

Detailed Description

Definition at line 108 of file cuddGenCof.c.

Field Documentation

DdNode* MarkCacheKey::c

Definition at line 110 of file cuddGenCof.c.

DdNode* MarkCacheKey::f

Definition at line 109 of file cuddGenCof.c.

---

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

• cuddGenCof.c