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

Index - O

ObjectivesAndAttributes 
1 (Type/Class)Language.Clafer.Intermediate.Intclafer
2 (Data Constructor)Language.Clafer.Intermediate.Intclafer
oDeclsLanguage.Clafer.Intermediate.Intclafer
OkLanguage.Clafer.Front.ErrM, Language.Clafer
opLanguage.Clafer.Intermediate.Intclafer
optimizeClaferLanguage.Clafer.Optimizer.Optimizer
optimizeElementLanguage.Clafer.Optimizer.Optimizer
optimizeModuleLanguage.Clafer.Optimizer.Optimizer
otherTokensLanguage.ClaferT, Language.Clafer
outputLanguage.Clafer.Front.LayoutResolver
outputCodeLanguage.Clafer