claferIG-0.3.7: claferIG is an interactive tool that generates instances of Clafer models.

Safe HaskellNone
LanguageHaskell2010

Language.Clafer.IG.ClaferModel

Synopsis

Documentation

data ClaferModel Source

Clafer model instance

Constructors

ClaferModel 

Fields

c_topLevel :: [Clafer]
 

Instances

data Clafer Source

Constructors

Clafer 

Fields

c_id :: Id
 
c_value :: Maybe Value
 
c_children :: [Clafer]
 

Instances

data Id Source

The tuple of name and ordinal must be globally unique

Constructors

Id 

Fields

i_name :: String
 
i_ordinal :: Int
 

Instances

data Value Source

Constructors

AliasValue 

Fields

c_alias :: Id
 
IntValue 

Fields

v_value :: Int
 
StringValue 

Fields

v_str :: String
 

Instances

c_name :: Clafer -> String Source

buildClaferModel :: Solution -> ClaferModel Source

traverse :: ClaferModel -> [Clafer] Source