Cudd.Reorder

Documentation

data CuddReorderingType

Constructors

CuddReorderSame

CuddReorderNone

CuddReorderRandom

CuddReorderRandomPivot

CuddReorderSift

CuddReorderSiftConverge

CuddReorderSymmSift

CuddReorderSymmSiftConv

CuddReorderWindow2

CuddReorderWindow3

CuddReorderWindow4

CuddReorderWindow2Conv

CuddReorderWindow3Conv

CuddReorderWindow4Conv

CuddReorderGroupSift

CuddReorderGroupSiftConv

CuddReorderAnnealing

CuddReorderGenetic

CuddReorderLinear

CuddReorderLinearConverge

CuddReorderLazySift

CuddReorderExact

Instances

Enum CuddReorderingType

Methods

succ :: CuddReorderingType -> CuddReorderingType

pred :: CuddReorderingType -> CuddReorderingType

toEnum :: Int -> CuddReorderingType

fromEnum :: CuddReorderingType -> Int

enumFrom :: CuddReorderingType -> [CuddReorderingType]

enumFromThen :: CuddReorderingType -> CuddReorderingType -> [CuddReorderingType]

enumFromTo :: CuddReorderingType -> CuddReorderingType -> [CuddReorderingType]

enumFromThenTo :: CuddReorderingType -> CuddReorderingType -> CuddReorderingType -> [CuddReorderingType]

Eq CuddReorderingType

Methods

(==) :: CuddReorderingType -> CuddReorderingType -> Bool

(/=) :: CuddReorderingType -> CuddReorderingType -> Bool

Show CuddReorderingType

Methods

showsPrec :: Int -> CuddReorderingType -> ShowS

show :: CuddReorderingType -> String

showList :: [CuddReorderingType] -> ShowS

cuddReorderingStatus :: DDManager s u -> ST s (Int, CuddReorderingType)

cuddAutodynEnable :: DDManager s u -> CuddReorderingType -> ST s ()

cuddAutodynDisable :: DDManager s u -> ST s ()

cuddReduceHeap :: DDManager s u -> CuddReorderingType -> Int -> ST s Int

cuddMakeTreeNode :: DDManager s u -> Int -> Int -> Int -> ST s (Ptr ())

cuddReadReorderingTime :: DDManager s u -> ST s Int

cuddReadReorderings :: DDManager s u -> ST s Int

cuddEnableReorderingReporting :: DDManager s u -> ST s Int

cuddDisableReorderingReporting :: DDManager s u -> ST s Int

cuddReorderingReporting :: DDManager s u -> ST s Int

regStdPreReordHook :: DDManager s u -> ST s Int

regStdPostReordHook :: DDManager s u -> ST s Int

cuddTurnOnCountDead :: DDManager s u -> ST s ()

cuddTurnOffCountDead :: DDManager s u -> ST s ()

cuddDeadAreCounted :: DDManager s u -> ST s Int

cuddReadSiftMaxSwap :: DDManager s u -> ST s Int

cuddSetSiftMaxSwap :: DDManager s u -> Int -> ST s ()

cuddReadSiftMaxVar :: DDManager s u -> ST s Int

cuddSetSiftMaxVar :: DDManager s u -> Int -> ST s ()

cuddReadNextReordering :: DDManager s u -> ST s Int

cuddSetNextReordering :: DDManager s u -> Int -> ST s ()

cuddReadMaxGrowthAlternate :: DDManager s u -> ST s Double

cuddSetMaxGrowthAlternate :: DDManager s u -> Double -> ST s ()

cuddReadMaxGrowth :: DDManager s u -> ST s Double

cuddReadReorderingCycle :: DDManager s u -> ST s Int

cuddSetReorderingCycle :: DDManager s u -> Int -> ST s ()

cuddSetPopulationSize :: DDManager s u -> Int -> ST s ()

cuddReadNumberXovers :: DDManager s u -> ST s Int

cuddSetNumberXovers :: DDManager s u -> Int -> ST s ()

regReordGCHook :: DDManager s u -> ST s Int