Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Synopsis
- data EliminationOrdering
- nextVariable :: EliminationOrdering -> [Factor] -> [String] -> Maybe (String, EliminationOrdering)
- simpleOrder :: EliminationOrdering
- staticOrder :: [String] -> EliminationOrdering
- minFactorOrder :: EliminationOrdering
- minFactorVars :: [Factor] -> [String]
Documentation
data EliminationOrdering Source #
nextVariable :: EliminationOrdering -> [Factor] -> [String] -> Maybe (String, EliminationOrdering) Source #
staticOrder :: [String] -> EliminationOrdering Source #
minFactorVars :: [Factor] -> [String] Source #
elimination order of variables corresponding to the min-factor heuristic