Language.Clafer.Optimizer.Optimizer
optimizeModule
optimizeElement
optimizeClafer
multInt
multExInt
makeZeroUnusedAbs
remUnusedAbs
findUnusedAbs
getUniqExtended
getExtended
expModule
expClafer
expSuper
expElement
expPExp
expIExp
expDecl
expNav
expNav'
split'
allUnique
allUniqueClafer
allUniqueElement
checkConstraintElement
checkConstraintPExp
checkConstraintIExp
checkConstraintIDecl
findDupModule
markTopModule
markTopClafer
markTopSuper
markTopElement
markTopPExp
markTopIExp
markTopDecl