| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Clafer.IG.ClaferModel
- data ClaferModel = ClaferModel {
- c_topLevel :: [Clafer]
- data Clafer = Clafer {}
- data Id = Id {}
- data Value
- = AliasValue { }
- | IntValue { }
- | StringValue { }
- c_name :: Clafer -> String
- buildClaferModel :: Solution -> ClaferModel
- traverseModel :: ClaferModel -> [Clafer]
Documentation
data ClaferModel Source
Clafer model instance
Constructors
| ClaferModel | |
Fields
| |
Instances
The tuple of name and ordinal must be globally unique
Constructors
| AliasValue | |
| IntValue | |
| StringValue | |
traverseModel :: ClaferModel -> [Clafer] Source