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

Index - A

addTypesLanguage.Clafer.IG.ClaferIG
AliasValueLanguage.Clafer.IG.ClaferModel
allLanguage.Clafer.IG.ClaferIG
allowedMaxIntLanguage.Clafer.IG.CommandLine
AlloyIGEnv 
1 (Type/Class)Language.Clafer.IG.AlloyIGInterface
2 (Data Constructor)Language.Clafer.IG.AlloyIGInterface
AlloyIGT 
1 (Type/Class)Language.Clafer.IG.AlloyIGInterface
2 (Data Constructor)Language.Clafer.IG.AlloyIGInterface
alloyModelLanguage.Clafer.IG.AlloyIGInterface
alloyModelInstanceLanguage.Clafer.IG.ClaferIG
alloySolutionLanguage.Clafer.IG.ClaferIG
AnyLanguage.Clafer.IG.AlloyIGInterface
Atom 
1 (Type/Class)Language.Clafer.IG.Solution
2 (Data Constructor)Language.Clafer.IG.Solution
a_labelLanguage.Clafer.IG.Solution