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