MarkCacheKey Struct Reference

Collaboration diagram for MarkCacheKey:

Data Fields
DdNode *	f
DdNode *	c

Detailed Description

Key for the cache used in the edge marking phase.

---

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

• cudd/cuddGenCof.c