Cudd.Reorder

Cudd.Reorder

data CuddReorderingType

cuddReorderingStatus

cuddAutodynEnable

cuddAutodynDisable

cuddMakeTreeNode

cuddReadReorderingTime

cuddReadReorderings

cuddEnableReorderingReporting

cuddDisableReorderingReporting

cuddReorderingReporting

regStdPreReordHook

regStdPostReordHook

cuddTurnOnCountDead

cuddTurnOffCountDead

cuddDeadAreCounted

cuddReadSiftMaxSwap

cuddSetSiftMaxSwap

cuddReadSiftMaxVar

cuddSetSiftMaxVar

cuddReadNextReordering

cuddSetNextReordering

cuddReadMaxGrowthAlternate

cuddSetMaxGrowthAlternate

cuddReadMaxGrowth

cuddReadReorderingCycle

cuddSetReorderingCycle

cuddSetPopulationSize

cuddReadNumberXovers

cuddSetNumberXovers