Safe Haskell | None |
---|---|

Language | Haskell98 |

# Documentation

type Constraints = [[(Int, Int)]] Source #

greedyProg :: (Eq a, Show a) => QSpace a -> EqRel a -> Predicate (a, a) -> Fallback a -> StdGen -> [a] -> [a] Source #

greedyChord :: (Eq a, Show a) => EqClass a -> a -> Predicate (a, a) -> Fallback a -> StdGen -> (StdGen, a) Source #

greedyProg' :: (Eq a, Show a) => Predicate (a, a) -> Fallback a -> StdGen -> [EqClass a] -> [a] Source #

findSoln2 :: (NFData a, Eq a, Show a) => Constraints -> Predicate [a] -> [[a]] -> IO (Int, [a]) Source #

findSolnPar :: (NFData a, Eq a, Show a) => Constraints -> Predicate [a] -> [[a]] -> Int -> IO (Int, [a]) Source #