| Safe Haskell | None |
|---|
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 :: DecompDataSource
base instance of DecompData
decompose :: Model -> EGModelSource
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
decompIntLookup :: DecompData -> ModelInt -> Maybe EGVarIdSource
decompColLookup :: DecompData -> ModelCol -> Maybe EGVarIdSource