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

Index - U

unexpectedMessageLanguage.Clafer.IG.CommandLineParser
uniqueIdLanguage.Clafer.IG.Constraints
unsatConstraintsLanguage.Clafer.IG.ClaferIG
UnsatCore 
1 (Type/Class)Language.Clafer.IG.AlloyIGInterface
2 (Data Constructor)Language.Clafer.IG.AlloyIGInterface
3 (Data Constructor)Language.Clafer.IG.ClaferIG
UnsatCoreMinimizationLanguage.Clafer.IG.CommandLineParser
upperLanguage.Clafer.IG.Constraints
UpperCardinalityConstraintLanguage.Clafer.IG.Constraints
UserConstraintLanguage.Clafer.IG.Constraints
useUidsLanguage.Clafer.IG.ClaferIG