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:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1