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

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 - I

Id
1 (Type/Class)	Language.Clafer.IG.ClaferModel
2 (Data Constructor)	Language.Clafer.IG.ClaferModel
IGArgs
1 (Type/Class)	Language.Clafer.IG.ClaferIG
2 (Data Constructor)	Language.Clafer.IG.ClaferIG
IncreaseGlobalScope	Language.Clafer.IG.CommandLineParser
IncreaseScope	Language.Clafer.IG.CommandLineParser
increaseScope	Language.Clafer.IG.ClaferIG
info	Language.Clafer.IG.ClaferIG
Instance
1 (Type/Class)	Language.Clafer.IG.ClaferIG
2 (Data Constructor)	Language.Clafer.IG.ClaferIG
intToFloat	Language.Clafer.IG.CommandLine
IntValue	Language.Clafer.IG.ClaferModel
isLowerCardinalityConstraint	Language.Clafer.IG.Constraints
isUpperCardinalityConstraint	Language.Clafer.IG.Constraints
i_name	Language.Clafer.IG.ClaferModel
i_ordinal	Language.Clafer.IG.ClaferModel