claferIG-0.4.3: claferIG is an interactive tool that generates instances of Clafer models. (Index - A)

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

A
B
C
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
All

Index - A

addTypes	Language.Clafer.IG.ClaferIG
AliasValue	Language.Clafer.IG.ClaferModel
all	Language.Clafer.IG.ClaferIG
allowedMaxInt	Language.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
alloyModel	Language.Clafer.IG.AlloyIGInterface
alloyModelInstance	Language.Clafer.IG.ClaferIG
alloySolution	Language.Clafer.IG.ClaferIG
Any	Language.Clafer.IG.AlloyIGInterface
Atom
1 (Type/Class)	Language.Clafer.IG.Solution
2 (Data Constructor)	Language.Clafer.IG.Solution
a_label	Language.Clafer.IG.Solution