cudd  3.0.0
The University of Colorado Decision Diagram Package
Data Fields
IndexKey Struct Reference

Used to sort variables for reordering. More...

#include <cuddInt.h>

Data Fields

int index
 
int keys
 

Detailed Description

Used to sort variables for reordering.

The documentation for this struct was generated from the following file:
Generated on Thu Jun 21 2018 10:18:17 for cudd by   doxygen 1.8.14