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

Index - C

Cardinality 
1 (Type/Class)Language.Clafer.IG.Constraints
2 (Data Constructor)Language.Clafer.IG.Constraints
cardinalityLanguage.Clafer.IG.Constraints
check_duplicates_compLanguage.Clafer.IG.ClaferIG
Clafer 
1 (Type/Class)Language.Clafer.IG.ClaferModel
2 (Data Constructor)Language.Clafer.IG.ClaferModel
claferEnv'Language.Clafer.IG.ClaferIG
claferIGArgsLanguage.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
claferIGVersionLanguage.Clafer.IG.ClaferIG
ClaferInfo 
1 (Type/Class)Language.Clafer.IG.Constraints
2 (Data Constructor)Language.Clafer.IG.Constraints
claferInfoLanguage.Clafer.IG.Constraints
ClaferModel 
1 (Type/Class)Language.Clafer.IG.ClaferModel
2 (Data Constructor)Language.Clafer.IG.ClaferModel
claferModelLanguage.Clafer.IG.ClaferIG
claferModelFileLanguage.Clafer.IG.ClaferIG
CommandLanguage.Clafer.IG.CommandLineParser
commandStringsLanguage.Clafer.IG.CommandLineParser
ConstraintLanguage.Clafer.IG.Constraints
ConstraintInfo 
1 (Type/Class)Language.Clafer.IG.Constraints
2 (Data Constructor)Language.Clafer.IG.Constraints
constraintInfoLanguage.Clafer.IG.Constraints
constraintsLanguage.Clafer.IG.ClaferIG
coreLanguage.Clafer.IG.AlloyIGInterface
Counterexample 
1 (Type/Class)Language.Clafer.IG.ClaferIG
2 (Data Constructor)Language.Clafer.IG.ClaferIG
counterexampleLanguage.Clafer.IG.ClaferIG
counterexampleAlloyInstanceLanguage.Clafer.IG.ClaferIG
counterexampleInstanceLanguage.Clafer.IG.ClaferIG
c_aliasLanguage.Clafer.IG.ClaferModel
c_childrenLanguage.Clafer.IG.ClaferModel
c_idLanguage.Clafer.IG.ClaferModel
c_nameLanguage.Clafer.IG.ClaferModel
c_topLevelLanguage.Clafer.IG.ClaferModel
c_valueLanguage.Clafer.IG.ClaferModel