Safe Haskell | None |
---|---|
Language | Haskell98 |
This module implements functions to build constraint / kvar dependency graphs, partition them and print statistics about their structure.
- data CPart a = CPart {}
- partition :: Fixpoint a => Config -> FInfo a -> IO (Result (Integer, a))
- partition' :: Maybe MCInfo -> FInfo a -> [FInfo a]
- partitionN :: MCInfo -> FInfo a -> [CPart a] -> [FInfo a]
- data MCInfo = MCInfo {
- mcCores :: !Int
- mcMinPartSize :: !Int
- mcMaxPartSize :: !Int
- mcInfo :: Config -> IO MCInfo
- dumpPartitions :: Fixpoint a => Config -> [FInfo a] -> IO ()
Split constraints
Constraint Partition Container --------------------------------------------
partition' :: Maybe MCInfo -> FInfo a -> [FInfo a] Source #
Partition an FInfo into multiple disjoint FInfos. Info is Nothing to produce the maximum possible number of partitions. Or a MultiCore Info to control the partitioning
:: MCInfo | describes thresholds and partiton amounts |
-> FInfo a | The originial FInfo |
-> [CPart a] | A list of the smallest possible CParts |
-> [FInfo a] | At most N partitions of at least thresh work |
Partition an FInfo into a specific number of partitions of roughly equal amounts of work
Information about cores
Multicore info ------------------------------------------------------------
MCInfo | |
|