de.uni_due.inf.ti.dragom.algorithms
Classes
LanguageAlgorithm
MaterializationConstructionAlgorithm
PostconditionConstructionAlgorithm