Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- defaultTermination :: Int -> Assignment -> CSPMonad Solution (Maybe Solution)
- ifs :: CSP r -> Assignment -> IO r
Documentation
defaultTermination :: Int -> Assignment -> CSPMonad Solution (Maybe Solution) Source #
defaultTermination
iterations currAssign
determines whether to continue
the algorithm or terminate. It terminates if the current assignment assigns
all variables or the maximum number of iterations has been exceded (25 times
the number of variables)