claferIG-0.4.0: claferIG is an interactive tool that generates instances of Clafer models.
Language.Clafer.IG.Solution
Synopsis
data Solution Source #
Alloy solution
Constructors
Fields
Instances
Methods
showsPrec :: Int -> Solution -> ShowS #
show :: Solution -> String #
showList :: [Solution] -> ShowS #
data Sig Source #
The univ sig does not have a parent
showsPrec :: Int -> Sig -> ShowS #
show :: Sig -> String #
showList :: [Sig] -> ShowS #
data Atom Source #
showsPrec :: Int -> Atom -> ShowS #
show :: Atom -> String #
showList :: [Atom] -> ShowS #
data Field Source #
showsPrec :: Int -> Field -> ShowS #
show :: Field -> String #
showList :: [Field] -> ShowS #
data Tuple Source #
showsPrec :: Int -> Tuple -> ShowS #
show :: Tuple -> String #
showList :: [Tuple] -> ShowS #
parseSolution :: String -> Solution Source #