Enum cudd_sys::Cudd_ReorderingType [−] [src]

#[repr(C)]
pub enum Cudd_ReorderingType {
    CUDD_REORDER_SAME,
    CUDD_REORDER_NONE,
    CUDD_REORDER_RANDOM,
    CUDD_REORDER_RANDOM_PIVOT,
    CUDD_REORDER_SIFT,
    CUDD_REORDER_SIFT_CONVERGE,
    CUDD_REORDER_SYMM_SIFT,
    CUDD_REORDER_SYMM_SIFT_CONV,
    CUDD_REORDER_WINDOW2,
    CUDD_REORDER_WINDOW3,
    CUDD_REORDER_WINDOW4,
    CUDD_REORDER_WINDOW2_CONV,
    CUDD_REORDER_WINDOW3_CONV,
    CUDD_REORDER_WINDOW4_CONV,
    CUDD_REORDER_GROUP_SIFT,
    CUDD_REORDER_GROUP_SIFT_CONV,
    CUDD_REORDER_ANNEALING,
    CUDD_REORDER_GENETIC,
    CUDD_REORDER_LINEAR,
    CUDD_REORDER_LINEAR_CONVERGE,
    CUDD_REORDER_LAZY_SIFT,
    CUDD_REORDER_EXACT,
}

Variants

CUDD_REORDER_SAMECUDD_REORDER_NONECUDD_REORDER_RANDOMCUDD_REORDER_RANDOM_PIVOTCUDD_REORDER_SIFTCUDD_REORDER_SIFT_CONVERGECUDD_REORDER_SYMM_SIFTCUDD_REORDER_SYMM_SIFT_CONVCUDD_REORDER_WINDOW2CUDD_REORDER_WINDOW3CUDD_REORDER_WINDOW4CUDD_REORDER_WINDOW2_CONVCUDD_REORDER_WINDOW3_CONVCUDD_REORDER_WINDOW4_CONVCUDD_REORDER_GROUP_SIFTCUDD_REORDER_GROUP_SIFT_CONVCUDD_REORDER_ANNEALINGCUDD_REORDER_GENETICCUDD_REORDER_LINEARCUDD_REORDER_LINEAR_CONVERGECUDD_REORDER_LAZY_SIFTCUDD_REORDER_EXACT