cuddPathPair Struct Reference

Type of item stored in memoization table. More...

Data Fields

int pos
int neg

Detailed Description

Type of item stored in memoization table.


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