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

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
IncreaseGlobalScopeLanguage.Clafer.IG.CommandLineParser
IncreaseScopeLanguage.Clafer.IG.CommandLineParser
increaseScopeLanguage.Clafer.IG.ClaferIG
infoLanguage.Clafer.IG.ClaferIG
Instance 
1 (Type/Class)Language.Clafer.IG.ClaferIG
2 (Data Constructor)Language.Clafer.IG.ClaferIG
intToFloatLanguage.Clafer.IG.CommandLine
IntValueLanguage.Clafer.IG.ClaferModel
isLowerCardinalityConstraintLanguage.Clafer.IG.Constraints
isUpperCardinalityConstraintLanguage.Clafer.IG.Constraints
i_nameLanguage.Clafer.IG.ClaferModel
i_ordinalLanguage.Clafer.IG.ClaferModel