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