de.tudresden.inf.lat.jcel.core.saturation
Interfaces
SaturationRule
Classes
SR0Rule
SR1AndSR2Rules
SR3Rule
SR4Rule
SubPropertyNormalizer