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

Index - S

safeTailLanguage.Clafer.Common
schemaLanguage.Clafer.ClaferArgs, Language.Clafer
sClafersLanguage.Clafer.Common
scopesListLanguage.Clafer
ScopeStrategyLanguage.Clafer.ClaferArgs, Language.Clafer
scope_strategyLanguage.Clafer.ClaferArgs, Language.Clafer
selectChildrenLanguage.Clafer.Intermediate.ResolverName
self_containedLanguage.Clafer.ClaferArgs, Language.Clafer
SemanticErrLanguage.ClaferT
SEnv 
1 (Type/Class)Language.Clafer.Intermediate.ResolverName
2 (Data Constructor)Language.Clafer.Intermediate.ResolverName
setBinOpsLanguage.Clafer.Common
SetExpLanguage.Clafer.Front.AbsClafer
sglCardLanguage.Clafer.Generator.Stats
shareLanguage.Clafer.Front.LexClafer
showPathLanguage.Clafer.Intermediate.ResolverName
show_referencesLanguage.Clafer.ClaferArgs, Language.Clafer
sidentLanguage.Clafer.Intermediate.Intclafer
SimpleLanguage.Clafer.ClaferArgs, Language.Clafer
simpleScopeAnalysisLanguage.Clafer.Intermediate.SimpleScopeAnalyzer
skip_goalsLanguage.Clafer.ClaferArgs, Language.Clafer
skip_resolverLanguage.Clafer.ClaferArgs, Language.Clafer
snd3Language.Clafer.Common
SoftConstraint 
1 (Type/Class)Language.Clafer.Front.AbsClafer
2 (Data Constructor)Language.Clafer.Front.AbsClafer
Span 
1 (Type/Class)Language.Clafer.Front.AbsClafer, Language.ClaferT
2 (Data Constructor)Language.Clafer.Front.AbsClafer, Language.ClaferT
SpannableLanguage.Clafer.Front.AbsClafer
SpecialLanguage.Clafer.Intermediate.ResolverName
specialNamesLanguage.Clafer.Common
split'Language.Clafer.Optimizer.Optimizer
splitArgsLanguage.Clafer.SplitJoin
srcPosLanguage.Clafer.Generator.Concat
stableLanguage.Clafer.Common
statisticsLanguage.Clafer
Stats 
1 (Type/Class)Language.Clafer.Generator.Stats
2 (Data Constructor)Language.Clafer.Generator.Stats
statsCardLanguage.Clafer.Generator.Stats
statsClaferLanguage.Clafer.Generator.Stats
statsElementLanguage.Clafer.Generator.Stats
statsModuleLanguage.Clafer.Generator.Stats
stringMapLanguage.Clafer
stringTypeLanguage.Clafer.Common
SubclaferLanguage.Clafer.Front.AbsClafer
SubclafersLanguage.Clafer.Intermediate.ResolverName
subClafersLanguage.Clafer.Intermediate.ResolverName
SubconstraintLanguage.Clafer.Front.AbsClafer
SubgoalLanguage.Clafer.Front.AbsClafer
SubsoftconstraintLanguage.Clafer.Front.AbsClafer
sugarAbstractLanguage.Clafer.Intermediate.Desugarer
sugarCardLanguage.Clafer.Intermediate.Desugarer
sugarClaferLanguage.Clafer.Intermediate.Desugarer
sugarConstraintLanguage.Clafer.Intermediate.Desugarer
sugarDeclLanguage.Clafer.Intermediate.Desugarer
sugarDeclarationLanguage.Clafer.Intermediate.Desugarer
sugarElementLanguage.Clafer.Intermediate.Desugarer
sugarElementsLanguage.Clafer.Intermediate.Desugarer
sugarExIntegerLanguage.Clafer.Intermediate.Desugarer
sugarExpLanguage.Clafer.Intermediate.Desugarer
sugarExp'Language.Clafer.Intermediate.Desugarer
sugarGCardLanguage.Clafer.Intermediate.Desugarer
sugarGoalLanguage.Clafer.Intermediate.Desugarer
sugarInitHowLanguage.Clafer.Intermediate.Desugarer
sugarLocIdLanguage.Clafer.Intermediate.Desugarer
sugarModIdLanguage.Clafer.Intermediate.Desugarer
sugarModuleLanguage.Clafer.Intermediate.Desugarer
sugarQuantLanguage.Clafer.Intermediate.Desugarer
sugarReferenceLanguage.Clafer.Intermediate.Desugarer
sugarSetExpLanguage.Clafer.Intermediate.Desugarer
sugarSetExp'Language.Clafer.Intermediate.Desugarer
sugarSoftConstraintLanguage.Clafer.Intermediate.Desugarer
sugarSuperLanguage.Clafer.Intermediate.Desugarer
SuperLanguage.Clafer.Front.AbsClafer
superLanguage.Clafer.Intermediate.Intclafer
SuperEmptyLanguage.Clafer.Front.AbsClafer
SuperSomeLanguage.Clafer.Front.AbsClafer