org.eclipse.ocl.examples.impactanalyzer.filterSynthesis
Classes 
FilterSynthesisImpl