| gatherInfo | Language.Clafer.Intermediate.Analysis |
| GCard | Language.Clafer.Front.Absclafer |
| gcard | Language.Clafer.Intermediate.Intclafer |
| GCardEmpty | Language.Clafer.Front.Absclafer |
| GCardInterval | Language.Clafer.Front.Absclafer |
| GCardMux | Language.Clafer.Front.Absclafer |
| GCardOpt | Language.Clafer.Front.Absclafer |
| GCardOr | Language.Clafer.Front.Absclafer |
| GCardXor | Language.Clafer.Front.Absclafer |
| genAlloyRel | Language.Clafer.Generator.Alloy |
| genCard | Language.Clafer.Generator.Alloy |
| genCardCrude | Language.Clafer.Generator.Alloy |
| genClafer | Language.Clafer.Generator.Alloy |
| genCModule | Language.Clafer.Generator.Choco |
| genConstraints | Language.Clafer.Generator.Alloy |
| genCVLGraph | Language.Clafer.Generator.Graph |
| genDecl | Language.Clafer.Generator.Alloy |
| genDeclaration | Language.Clafer.Generator.Alloy |
| genDeclarationGoalsOnly | Language.Clafer.Generator.Alloy |
| genDisj | Language.Clafer.Generator.Alloy |
| generate | Language.Clafer |
| generateFragments | Language.Clafer |
| generateHtml | Language.Clafer |
| generateJSONnameUIDMap | Language.Clafer.JSONMetaData |
| generateJSONScopes | Language.Clafer.JSONMetaData |
| genExInteger | Language.Clafer.Generator.Alloy |
| genGroupConst | Language.Clafer.Generator.Alloy |
| genHtml | Language.Clafer.Generator.Html |
| genId | Language.Clafer.Intermediate.ResolverInheritance |
| genIFunExp | Language.Clafer.Generator.Alloy |
| genInterval | Language.Clafer.Generator.Alloy |
| genIntervalCrude | Language.Clafer.Generator.Alloy |
| genModule | Language.Clafer.Generator.Alloy |
| genOp | Language.Clafer.Generator.Alloy |
| genOptCard | Language.Clafer.Generator.Alloy |
| genOptParentConst | Language.Clafer.Generator.Alloy |
| genParentConst | Language.Clafer.Generator.Alloy |
| genPathConst | Language.Clafer.Generator.Alloy |
| genPExp | Language.Clafer.Generator.Alloy |
| genPExp' | Language.Clafer.Generator.Alloy |
| genPythonAbstract | Language.Clafer.Generator.Python |
| genPythonBoolean | Language.Clafer.Generator.Python |
| genPythonCard | Language.Clafer.Generator.Python |
| genPythonClafer | Language.Clafer.Generator.Python |
| genPythonDecl | Language.Clafer.Generator.Python |
| genPythonElement | Language.Clafer.Generator.Python |
| genPythonGCard | Language.Clafer.Generator.Python |
| genPythonGlCard | Language.Clafer.Generator.Python |
| genPythonId | Language.Clafer.Generator.Python |
| genPythonIExp | Language.Clafer.Generator.Python |
| genPythonIExpType | Language.Clafer.Generator.Python |
| genPythonInteger | Language.Clafer.Generator.Python |
| genPythonInterval | Language.Clafer.Generator.Python |
| genPythonIntPair | Language.Clafer.Generator.Python |
| genPythonIType | Language.Clafer.Generator.Python |
| genPythonITypeType | Language.Clafer.Generator.Python |
| genPythonModule | Language.Clafer.Generator.Python |
| genPythonPExp | Language.Clafer.Generator.Python |
| genPythonPosition | Language.Clafer.Generator.Python |
| genPythonQuantType | Language.Clafer.Generator.Python |
| genPythonString | Language.Clafer.Generator.Python |
| genPythonSuper | Language.Clafer.Generator.Python |
| genPythonUid | Language.Clafer.Generator.Python |
| genQuant | Language.Clafer.Generator.Alloy |
| genRel | Language.Clafer.Generator.Alloy |
| genRelations | Language.Clafer.Generator.Alloy |
| genRelName | Language.Clafer.Generator.Alloy |
| genScope | Language.Clafer.Generator.Alloy |
| genSimpleGraph | Language.Clafer.Generator.Graph |
| genText | Language.Clafer.Generator.Html |
| genTooltip | Language.Clafer.Generator.Html |
| genType | Language.Clafer.Generator.Alloy |
| GEnv | |
| 1 (Type/Class) | Language.Clafer.Common, Language.Clafer |
| 2 (Data Constructor) | Language.Clafer.Common |
| genv | Language.Clafer.Intermediate.ResolverName |
| genXmlAbstract | Language.Clafer.Generator.Xml |
| genXmlAnyOp | Language.Clafer.Generator.Xml |
| genXmlBoolean | Language.Clafer.Generator.Xml |
| genXmlCard | Language.Clafer.Generator.Xml |
| genXmlClafer | Language.Clafer.Generator.Xml |
| genXmlDecl | Language.Clafer.Generator.Xml |
| genXmlElement | Language.Clafer.Generator.Xml |
| genXmlGCard | Language.Clafer.Generator.Xml |
| genXmlGlCard | Language.Clafer.Generator.Xml |
| genXmlId | Language.Clafer.Generator.Xml |
| genXmlIExp | Language.Clafer.Generator.Xml |
| genXmlIExpType | Language.Clafer.Generator.Xml |
| genXmlInteger | Language.Clafer.Generator.Xml |
| genXmlInterval | Language.Clafer.Generator.Xml |
| genXmlIntPair | Language.Clafer.Generator.Xml |
| genXmlIType | Language.Clafer.Generator.Xml |
| genXmlITypeType | Language.Clafer.Generator.Xml |
| genXmlModule | Language.Clafer.Generator.Xml |
| genXmlPExp | Language.Clafer.Generator.Xml |
| genXmlPosition | Language.Clafer.Generator.Xml |
| genXmlQuantType | Language.Clafer.Generator.Xml |
| genXmlString | Language.Clafer.Generator.Xml |
| genXmlSuper | Language.Clafer.Generator.Xml |
| genXmlUid | Language.Clafer.Generator.Xml |
| getAst | Language.ClaferT, Language.Clafer |
| getc | Language.Clafer.Front.LayoutResolver |
| getClaferName | Language.Clafer.Common |
| getComments | Language.Clafer.Comments |
| getDirUnrollables | Language.Clafer.Intermediate.ResolverInheritance |
| getEnv | Language.ClaferT, Language.Clafer |
| getExtended | Language.Clafer.Optimizer.Optimizer |
| getFQName | Language.Clafer.QNameUID |
| getFragments | Language.Clafer.Comments |
| getGraph | Language.Clafer.Comments |
| getIr | Language.ClaferT, Language.Clafer |
| getLPQName | Language.Clafer.QNameUID |
| getOptions | Language.Clafer.Comments |
| getQNameUIDTriples | Language.Clafer.QNameUID |
| getRight | Language.Clafer.Generator.Alloy |
| getScopeStrategy | Language.Clafer.Intermediate.ScopeAnalysis |
| getsEnv | Language.ClaferT |
| getSpan | Language.Clafer.Front.Absclafer |
| getStats | Language.Clafer.Comments |
| getSubclafers | Language.Clafer.Common |
| getSuper | Language.Clafer.Common |
| getSuperId | Language.Clafer.Common |
| getSuperNoArr | Language.Clafer.Common |
| getTarget | Language.Clafer.Generator.Alloy |
| getToken | Language.Clafer.Front.LayoutResolver |
| getUIDs | Language.Clafer.QNameUID |
| getUniqExtended | Language.Clafer.Optimizer.Optimizer |
| glCard | Language.Clafer.Intermediate.Intclafer |
| glpkScopeAnalysis | Language.Clafer.Intermediate.GLPKScopeAnalyzer |
| Goal | |
| 1 (Type/Class) | Language.Clafer.Front.Absclafer |
| 2 (Data Constructor) | Language.Clafer.Front.Absclafer |
| gp | Language.Clafer.Front.Parclafer |
| Graph | Language.Clafer.ClaferArgs, Language.Clafer |
| groupHigh | Language.Clafer.Intermediate.Analysis |
| groupLow | Language.Clafer.Intermediate.Analysis |