iterative-forward-search-0.1.0.0: An IFS constraint solver
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.IFS.Algorithm

Synopsis

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)

ifs :: CSP r -> Assignment -> IO r Source #

ifs csp startingAssignment performs an iterative first search on csp using startingAssignment as the initial assignment