Language.Clafer.IG.ClaferModel

Documentation

data ClaferModel

Clafer model instance

Constructors

ClaferModel

Fields

c_topLevel :: [Clafer]

Instances

Show ClaferModel

data Clafer

Constructors

Clafer

Fields

c_id :: Id

c_value :: Maybe Value

c_children :: [Clafer]

Instances

Eq Clafer

Show Clafer

data Id

The tuple of name and ordinal must be globally unique

Constructors

Id

Fields

i_name :: String

i_ordinal :: Int

Instances

Eq Id

Ord Id

Show Id

data Value

Constructors

AliasValue

Fields

c_alias :: Id

IntValue

Fields

v_value :: Int

StringValue

Fields

v_str :: String

Instances

Eq Value

Show Value

c_name :: Clafer -> String

buildClaferModel :: Solution -> ClaferModel

traverseModel :: ClaferModel -> [Clafer]