PolyBoRi
|
This struct contains type definitions and enumerations to be used for comparisons. More...
#include <pbori_defs.h>
Public Types | |
enum | comparecodes { less_than = -1, equality = 0, greater_than = +1, less_or_equal_max = 0, greater_or_equal_min = 0 } |
Comparision codes enumeration. More... | |
enum | { max_idx = CUDD_MAXINDEX } |
This struct contains type definitions and enumerations to be used for comparisons.