Language.Clafer.IG.Solution

Documentation

data Solution

Alloy solution

Constructors

Solution

Fields

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

Instances

Show Solution

Methods

showsPrec :: Int -> Solution -> ShowS

show :: Solution -> String

showList :: [Solution] -> ShowS

data Sig

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

Show Sig

Methods

showsPrec :: Int -> Sig -> ShowS

show :: Sig -> String

showList :: [Sig] -> ShowS

data Atom

Constructors

Atom

Fields

• a_label :: String

Instances

Show Atom

Methods

showsPrec :: Int -> Atom -> ShowS

show :: Atom -> String

showList :: [Atom] -> ShowS

data Field

Constructors

Field

Fields

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

Instances

Show Field

Methods

showsPrec :: Int -> Field -> ShowS

show :: Field -> String

showList :: [Field] -> ShowS

data Tuple

Constructors

Tuple

Fields

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

Instances

Show Tuple

Methods

showsPrec :: Int -> Tuple -> ShowS

show :: Tuple -> String

showList :: [Tuple] -> ShowS

parseSolution :: String -> Solution