clafer-0.3.7: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.

Index - G

gatherInfoLanguage.Clafer.Intermediate.Analysis
GCardLanguage.Clafer.Front.Absclafer
gcardLanguage.Clafer.Intermediate.Intclafer
GCardEmptyLanguage.Clafer.Front.Absclafer
GCardIntervalLanguage.Clafer.Front.Absclafer
GCardMuxLanguage.Clafer.Front.Absclafer
GCardOptLanguage.Clafer.Front.Absclafer
GCardOrLanguage.Clafer.Front.Absclafer
GCardXorLanguage.Clafer.Front.Absclafer
genAlloyRelLanguage.Clafer.Generator.Alloy
genCardLanguage.Clafer.Generator.Alloy
genCardCrudeLanguage.Clafer.Generator.Alloy
genClaferLanguage.Clafer.Generator.Alloy
genCModuleLanguage.Clafer.Generator.Choco
genConstraintsLanguage.Clafer.Generator.Alloy
genCVLGraphLanguage.Clafer.Generator.Graph
genDeclLanguage.Clafer.Generator.Alloy
genDeclarationLanguage.Clafer.Generator.Alloy
genDeclarationGoalsOnlyLanguage.Clafer.Generator.Alloy
genDisjLanguage.Clafer.Generator.Alloy
generateLanguage.Clafer
generateFragmentsLanguage.Clafer
generateHtmlLanguage.Clafer
generateJSONnameUIDMapLanguage.Clafer.JSONMetaData
generateJSONScopesLanguage.Clafer.JSONMetaData
genExIntegerLanguage.Clafer.Generator.Alloy
genGroupConstLanguage.Clafer.Generator.Alloy
genHtmlLanguage.Clafer.Generator.Html
genIdLanguage.Clafer.Intermediate.ResolverInheritance
genIFunExpLanguage.Clafer.Generator.Alloy
genIntervalLanguage.Clafer.Generator.Alloy
genIntervalCrudeLanguage.Clafer.Generator.Alloy
genModuleLanguage.Clafer.Generator.Alloy
genOpLanguage.Clafer.Generator.Alloy
genOptCardLanguage.Clafer.Generator.Alloy
genOptParentConstLanguage.Clafer.Generator.Alloy
genParentConstLanguage.Clafer.Generator.Alloy
genPathConstLanguage.Clafer.Generator.Alloy
genPExpLanguage.Clafer.Generator.Alloy
genPExp'Language.Clafer.Generator.Alloy
genPythonAbstractLanguage.Clafer.Generator.Python
genPythonBooleanLanguage.Clafer.Generator.Python
genPythonCardLanguage.Clafer.Generator.Python
genPythonClaferLanguage.Clafer.Generator.Python
genPythonDeclLanguage.Clafer.Generator.Python
genPythonElementLanguage.Clafer.Generator.Python
genPythonGCardLanguage.Clafer.Generator.Python
genPythonGlCardLanguage.Clafer.Generator.Python
genPythonIdLanguage.Clafer.Generator.Python
genPythonIExpLanguage.Clafer.Generator.Python
genPythonIExpTypeLanguage.Clafer.Generator.Python
genPythonIntegerLanguage.Clafer.Generator.Python
genPythonIntervalLanguage.Clafer.Generator.Python
genPythonIntPairLanguage.Clafer.Generator.Python
genPythonITypeLanguage.Clafer.Generator.Python
genPythonITypeTypeLanguage.Clafer.Generator.Python
genPythonModuleLanguage.Clafer.Generator.Python
genPythonPExpLanguage.Clafer.Generator.Python
genPythonPositionLanguage.Clafer.Generator.Python
genPythonQuantTypeLanguage.Clafer.Generator.Python
genPythonStringLanguage.Clafer.Generator.Python
genPythonSuperLanguage.Clafer.Generator.Python
genPythonUidLanguage.Clafer.Generator.Python
genQuantLanguage.Clafer.Generator.Alloy
genRelLanguage.Clafer.Generator.Alloy
genRelationsLanguage.Clafer.Generator.Alloy
genRelNameLanguage.Clafer.Generator.Alloy
genScopeLanguage.Clafer.Generator.Alloy
genSimpleGraphLanguage.Clafer.Generator.Graph
genTextLanguage.Clafer.Generator.Html
genTooltipLanguage.Clafer.Generator.Html
genTypeLanguage.Clafer.Generator.Alloy
GEnv 
1 (Type/Class)Language.Clafer.Common, Language.Clafer
2 (Data Constructor)Language.Clafer.Common
genvLanguage.Clafer.Intermediate.ResolverName
genXmlAbstractLanguage.Clafer.Generator.Xml
genXmlAnyOpLanguage.Clafer.Generator.Xml
genXmlBooleanLanguage.Clafer.Generator.Xml
genXmlCardLanguage.Clafer.Generator.Xml
genXmlClaferLanguage.Clafer.Generator.Xml
genXmlDeclLanguage.Clafer.Generator.Xml
genXmlElementLanguage.Clafer.Generator.Xml
genXmlGCardLanguage.Clafer.Generator.Xml
genXmlGlCardLanguage.Clafer.Generator.Xml
genXmlIdLanguage.Clafer.Generator.Xml
genXmlIExpLanguage.Clafer.Generator.Xml
genXmlIExpTypeLanguage.Clafer.Generator.Xml
genXmlIntegerLanguage.Clafer.Generator.Xml
genXmlIntervalLanguage.Clafer.Generator.Xml
genXmlIntPairLanguage.Clafer.Generator.Xml
genXmlITypeLanguage.Clafer.Generator.Xml
genXmlITypeTypeLanguage.Clafer.Generator.Xml
genXmlModuleLanguage.Clafer.Generator.Xml
genXmlPExpLanguage.Clafer.Generator.Xml
genXmlPositionLanguage.Clafer.Generator.Xml
genXmlQuantTypeLanguage.Clafer.Generator.Xml
genXmlStringLanguage.Clafer.Generator.Xml
genXmlSuperLanguage.Clafer.Generator.Xml
genXmlUidLanguage.Clafer.Generator.Xml
getAstLanguage.ClaferT, Language.Clafer
getcLanguage.Clafer.Front.LayoutResolver
getClaferNameLanguage.Clafer.Common
getCommentsLanguage.Clafer.Comments
getDirUnrollablesLanguage.Clafer.Intermediate.ResolverInheritance
getEnvLanguage.ClaferT, Language.Clafer
getExtendedLanguage.Clafer.Optimizer.Optimizer
getFQNameLanguage.Clafer.QNameUID
getFragmentsLanguage.Clafer.Comments
getGraphLanguage.Clafer.Comments
getIrLanguage.ClaferT, Language.Clafer
getLPQNameLanguage.Clafer.QNameUID
getOptionsLanguage.Clafer.Comments
getQNameUIDTriplesLanguage.Clafer.QNameUID
getRightLanguage.Clafer.Generator.Alloy
getScopeStrategyLanguage.Clafer.Intermediate.ScopeAnalysis
getsEnvLanguage.ClaferT
getSpanLanguage.Clafer.Front.Absclafer
getStatsLanguage.Clafer.Comments
getSubclafersLanguage.Clafer.Common
getSuperLanguage.Clafer.Common
getSuperIdLanguage.Clafer.Common
getSuperNoArrLanguage.Clafer.Common
getTargetLanguage.Clafer.Generator.Alloy
getTokenLanguage.Clafer.Front.LayoutResolver
getUIDsLanguage.Clafer.QNameUID
getUniqExtendedLanguage.Clafer.Optimizer.Optimizer
glCardLanguage.Clafer.Intermediate.Intclafer
glpkScopeAnalysisLanguage.Clafer.Intermediate.GLPKScopeAnalyzer
Goal 
1 (Type/Class)Language.Clafer.Front.Absclafer
2 (Data Constructor)Language.Clafer.Front.Absclafer
gpLanguage.Clafer.Front.Parclafer
GraphLanguage.Clafer.ClaferArgs, Language.Clafer
groupHighLanguage.Clafer.Intermediate.Analysis
groupLowLanguage.Clafer.Intermediate.Analysis