Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data CuddReorderingType Source
cuddReorderingStatus :: DDManager s u -> ST s (Int, CuddReorderingType) Source
cuddAutodynEnable :: DDManager s u -> CuddReorderingType -> ST s () Source
cuddAutodynDisable :: DDManager s u -> ST s () Source
cuddReduceHeap :: DDManager s u -> CuddReorderingType -> Int -> ST s Int Source
cuddReadReorderingTime :: DDManager s u -> ST s Int Source
cuddReadReorderings :: DDManager s u -> ST s Int Source
cuddEnableReorderingReporting :: DDManager s u -> ST s Int Source
cuddDisableReorderingReporting :: DDManager s u -> ST s Int Source
cuddReorderingReporting :: DDManager s u -> ST s Int Source
regStdPreReordHook :: DDManager s u -> ST s Int Source
regStdPostReordHook :: DDManager s u -> ST s Int Source
cuddTurnOnCountDead :: DDManager s u -> ST s () Source
cuddTurnOffCountDead :: DDManager s u -> ST s () Source
cuddDeadAreCounted :: DDManager s u -> ST s Int Source
cuddReadSiftMaxSwap :: DDManager s u -> ST s Int Source
cuddSetSiftMaxSwap :: DDManager s u -> Int -> ST s () Source
cuddReadSiftMaxVar :: DDManager s u -> ST s Int Source
cuddSetSiftMaxVar :: DDManager s u -> Int -> ST s () Source
cuddReadNextReordering :: DDManager s u -> ST s Int Source
cuddSetNextReordering :: DDManager s u -> Int -> ST s () Source
cuddReadMaxGrowthAlternate :: DDManager s u -> ST s Double Source
cuddSetMaxGrowthAlternate :: DDManager s u -> Double -> ST s () Source
cuddReadMaxGrowth :: DDManager s u -> ST s Double Source
cuddReadReorderingCycle :: DDManager s u -> ST s Int Source
cuddSetReorderingCycle :: DDManager s u -> Int -> ST s () Source
cuddSetPopulationSize :: DDManager s u -> Int -> ST s () Source
cuddReadNumberXovers :: DDManager s u -> ST s Int Source
cuddSetNumberXovers :: DDManager s u -> Int -> ST s () Source
regReordGCHook :: DDManager s u -> ST s Int Source