monadiccp-0.7.7: Constraint Programming

Safe HaskellNone
LanguageHaskell98

Control.CP.FD.Decompose

Synopsis

Documentation

baseDecompData :: DecompData Source #

base instance of DecompData

decompose :: Model -> EGModel Source #

easier version of decomposeEx that does not require or return a state

decomposeEx :: DecompData -> Int -> Model -> ([ModelBool], [ModelInt], [ModelCol]) -> Maybe EGModel -> (DecompData, EGModel, Int) Source #

transform an expression into a graph, taking and returning an updated state