generateJSON | Language.Clafer.IG.JSONGenerator |
getAlloyModel | |
1 (Function) | Language.Clafer.IG.AlloyIGInterface |
2 (Function) | Language.Clafer.IG.ClaferIG |
getBitwidth | Language.Clafer.IG.ClaferIG |
getClaferEnv | Language.Clafer.IG.ClaferIG |
getClaferIGArgs | Language.Clafer.IG.ClaferIG |
getClaferModel | Language.Clafer.IG.ClaferIG |
getClafers | Language.Clafer.IG.ClaferIG |
getConstraints | Language.Clafer.IG.ClaferIG |
getContentsVerbatim | Language.Clafer.IG.Process |
getGlobalScope | |
1 (Function) | Language.Clafer.IG.AlloyIGInterface |
2 (Function) | Language.Clafer.IG.ClaferIG |
getlineNumMap | Language.Clafer.IG.ClaferIG |
getMessage | Language.Clafer.IG.Process |
getMsg | Language.Clafer.IG.AlloyIGInterface |
getQNameMaps | Language.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 |
getSigs | Language.Clafer.IG.AlloyIGInterface |
getStrMap | Language.Clafer.IG.ClaferIG |
getUIDIClaferMap | Language.Clafer.IG.ClaferIG |
globalScope | Language.Clafer.IG.AlloyIGInterface |