Index - M
maxInt | Language.Clafer.IG.ClaferIG |
Medium | Language.Clafer.IG.CommandLineParser |
modelInstance | Language.Clafer.IG.ClaferIG |
Multiplicity | Language.Clafer.IG.AlloyIGInterface |
claferIG-0.3.9: claferIG is an interactive tool that generates instances of Clafer models.