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

Index - G

generateJSONLanguage.Clafer.IG.JSONGenerator
getAlloyModel 
1 (Function)Language.Clafer.IG.AlloyIGInterface
2 (Function)Language.Clafer.IG.ClaferIG
getBitwidthLanguage.Clafer.IG.ClaferIG
getClaferEnvLanguage.Clafer.IG.ClaferIG
getClaferIGArgsLanguage.Clafer.IG.ClaferIG
getClaferModelLanguage.Clafer.IG.ClaferIG
getClafersLanguage.Clafer.IG.ClaferIG
getConstraintsLanguage.Clafer.IG.ClaferIG
getContentsVerbatimLanguage.Clafer.IG.Process
getGlobalScope 
1 (Function)Language.Clafer.IG.AlloyIGInterface
2 (Function)Language.Clafer.IG.ClaferIG
getlineNumMapLanguage.Clafer.IG.ClaferIG
getMessageLanguage.Clafer.IG.Process
getMsgLanguage.Clafer.IG.AlloyIGInterface
getQNameMapsLanguage.Clafer.IG.ClaferIG
getScope 
1 (Function)Language.Clafer.IG.AlloyIGInterface
2 (Function)Language.Clafer.IG.ClaferIG
getScopes 
1 (Function)Language.Clafer.IG.AlloyIGInterface
2 (Function)Language.Clafer.IG.ClaferIG
getSigsLanguage.Clafer.IG.AlloyIGInterface
getStrMapLanguage.Clafer.IG.ClaferIG
getUIDIClaferMapLanguage.Clafer.IG.ClaferIG
globalScopeLanguage.Clafer.IG.AlloyIGInterface