pub type Cudd_ReorderingType = c_uint;
Enum************************************************************************
Synopsis [Type of reordering algorithm.]
Description [Type of reordering algorithm.]