tudresden.ocl.normalize
Interfaces 
NodeNormalizer
TreeNormalizer
Classes 
CollectShorthandExpansion
CompoundNormalizer
ConstraintNaming
DefaultContextInsertion
IteratorInsertion
MultipleIteratorSolving
NormalizerPass
TypeInformationInsertion
VariableClarification
Exceptions 
PreconditionViolatedException