clafer-0.4.3: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.

Index - G

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
genCModuleLanguage.Clafer.Generator.Choco
genCVLGraphLanguage.Clafer.Generator.Graph
generateLanguage.Clafer
generateHtmlLanguage.Clafer
generateJSONnameUIDMapLanguage.Clafer.JSONMetaData
generateJSONScopesLanguage.Clafer.JSONMetaData
genHtmlLanguage.Clafer.Generator.Html
genIdLanguage.Clafer.Intermediate.ResolverInheritance
genModuleLanguage.Clafer.Generator.Alloy
genSimpleGraphLanguage.Clafer.Generator.Graph
genTextLanguage.Clafer.Generator.Html
genTooltipLanguage.Clafer.Generator.Html
GEnv 
1 (Type/Class)Language.Clafer.Common, Language.Clafer
2 (Data Constructor)Language.Clafer.Common
genvLanguage.Clafer.Intermediate.ResolverName
getAstLanguage.ClaferT, Language.Clafer
getBinDirPaths_clafer
getcLanguage.Clafer.Front.LayoutResolver
getClaferNameLanguage.Clafer.Common
getCommentsLanguage.Clafer.Comments
getDataDirPaths_clafer
getDataFileNamePaths_clafer
getDirUnrollablesLanguage.Clafer.Intermediate.ResolverInheritance
getDrefTMapLanguage.Clafer.Intermediate.TypeSystem
getDrefTMapByUIDLanguage.Clafer.Intermediate.TypeSystem
getEnvLanguage.ClaferT, Language.Clafer
getExtendedLanguage.Clafer.Optimizer.Optimizer
getFQNameLanguage.Clafer.QNameUID
getFragmentsLanguage.Clafer.Comments
getGraphLanguage.Clafer.Comments
getIfThenElseTypeLanguage.Clafer.Intermediate.TypeSystem
getIrLanguage.ClaferT, Language.Clafer
getLibDirPaths_clafer
getLibexecDirPaths_clafer
getLPQNameLanguage.Clafer.QNameUID
getOptionsLanguage.Clafer.Comments
getPExpClaferIdentLanguage.Clafer.Intermediate.Desugarer
getQNameUIDTriplesLanguage.Clafer.QNameUID
getReferenceLanguage.Clafer.Common
getRefIdsLanguage.Clafer.Common
getScopeStrategyLanguage.Clafer.Intermediate.ScopeAnalysis
getsEnvLanguage.ClaferT
getSpanLanguage.Clafer.Front.AbsClafer
getStatsLanguage.Clafer.Comments
getSubclafersLanguage.Clafer.Common
getSuperLanguage.Clafer.Common
getSuperAndReferenceLanguage.Clafer.Common
getSuperIdLanguage.Clafer.Common
getSysconfDirPaths_clafer
getTClaferLanguage.Clafer.Intermediate.TypeSystem
getTClaferByUIDLanguage.Clafer.Intermediate.TypeSystem
getTClaferFromIExpLanguage.Clafer.Intermediate.TypeSystem
getTClafersLanguage.Clafer.Intermediate.TypeSystem
getTMapsLanguage.Clafer.Intermediate.TypeSystem
getTokenLanguage.Clafer.Front.LayoutResolver
getUIDsLanguage.Clafer.QNameUID
getUniqExtendedLanguage.Clafer.Optimizer.Optimizer
glCardLanguage.Clafer.Intermediate.Intclafer
GoalLanguage.Clafer.Front.AbsClafer
GoalMaxDeprecatedLanguage.Clafer.Front.AbsClafer
GoalMaximizeLanguage.Clafer.Front.AbsClafer
GoalMinDeprecatedLanguage.Clafer.Front.AbsClafer
GoalMinimizeLanguage.Clafer.Front.AbsClafer
gpLanguage.Clafer.Front.ParClafer
GraphLanguage.Clafer.ClaferArgs, Language.Clafer