MarkCacheKey Struct Reference

Collaboration diagram for MarkCacheKey:
[legend]

Data Fields

DdNodef
DdNodec

Detailed Description

Key for the cache used in the edge marking phase.


The documentation for this struct was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1