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

claferIG-0.3.8: 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 - C

Cardinality
1 (Type/Class)	Language.Clafer.IG.Constraints
2 (Data Constructor)	Language.Clafer.IG.Constraints
cardinality	Language.Clafer.IG.Constraints
check_duplicates_comp	Language.Clafer.IG.ClaferIG
Clafer
1 (Type/Class)	Language.Clafer.IG.ClaferModel
2 (Data Constructor)	Language.Clafer.IG.ClaferModel
claferEnv'	Language.Clafer.IG.ClaferIG
claferIGArgs	Language.Clafer.IG.ClaferIG
ClaferIGEnv
1 (Type/Class)	Language.Clafer.IG.ClaferIG
2 (Data Constructor)	Language.Clafer.IG.ClaferIG
ClaferIGT
1 (Type/Class)	Language.Clafer.IG.ClaferIG
2 (Data Constructor)	Language.Clafer.IG.ClaferIG
claferIGVersion	Language.Clafer.IG.ClaferIG
ClaferInfo
1 (Type/Class)	Language.Clafer.IG.Constraints
2 (Data Constructor)	Language.Clafer.IG.Constraints
claferInfo	Language.Clafer.IG.Constraints
ClaferModel
1 (Type/Class)	Language.Clafer.IG.ClaferModel
2 (Data Constructor)	Language.Clafer.IG.ClaferModel
claferModel	Language.Clafer.IG.ClaferIG
claferModelFile	Language.Clafer.IG.ClaferIG
Command	Language.Clafer.IG.CommandLineParser
commandStrings	Language.Clafer.IG.CommandLineParser
Constraint	Language.Clafer.IG.Constraints
ConstraintInfo
1 (Type/Class)	Language.Clafer.IG.Constraints
2 (Data Constructor)	Language.Clafer.IG.Constraints
constraintInfo	Language.Clafer.IG.Constraints
constraints	Language.Clafer.IG.ClaferIG
core	Language.Clafer.IG.AlloyIGInterface
Counterexample
1 (Type/Class)	Language.Clafer.IG.ClaferIG
2 (Data Constructor)	Language.Clafer.IG.ClaferIG
counterexample	Language.Clafer.IG.ClaferIG
counterexampleAlloyInstance	Language.Clafer.IG.ClaferIG
counterexampleInstance	Language.Clafer.IG.ClaferIG
c_alias	Language.Clafer.IG.ClaferModel
c_children	Language.Clafer.IG.ClaferModel
c_id	Language.Clafer.IG.ClaferModel
c_name	Language.Clafer.IG.ClaferModel
c_topLevel	Language.Clafer.IG.ClaferModel
c_value	Language.Clafer.IG.ClaferModel