| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Control.CP.FD.Decompose
- data DecompData
- baseDecompData :: DecompData
- decompose :: Model -> EGModel
- decomposeEx :: DecompData -> Int -> Model -> ([ModelBool], [ModelInt], [ModelCol]) -> Maybe EGModel -> (DecompData, EGModel, Int)
- decompBoolLookup :: DecompData -> ModelBool -> Maybe EGVarId
- decompIntLookup :: DecompData -> ModelInt -> Maybe EGVarId
- decompColLookup :: DecompData -> ModelCol -> Maybe EGVarId
Documentation
data DecompData Source #
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
decompBoolLookup :: DecompData -> ModelBool -> Maybe EGVarId Source #
decompIntLookup :: DecompData -> ModelInt -> Maybe EGVarId Source #
decompColLookup :: DecompData -> ModelCol -> Maybe EGVarId Source #