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

Safe HaskellNone
LanguageHaskell2010

Language.Clafer.IG.Solution

Synopsis

Documentation

data Solution Source

Alloy solution

Constructors

Solution 

Fields

s_sigs :: [Sig]
 
s_fields :: [Field]
 

Instances

data Sig Source

The univ sig does not have a parent

Constructors

Sig 

Fields

s_label :: String
 
s_id :: Int
 
s_parentId :: Maybe Int
 
s_atoms :: [Atom]
 

Instances

data Atom Source

Constructors

Atom 

Fields

a_label :: String
 

Instances

data Field Source

Constructors

Field 

Fields

f_label :: String
 
f_id :: Int
 
f_parentId :: Int
 
f_tuples :: [Tuple]
 

Instances

data Tuple Source

Constructors

Tuple 

Fields

t_from :: Atom
 
t_fromType :: Int
 
t_to :: Atom
 
t_toType :: Int
 

Instances

parseSolution :: String -> Solution Source