Package org.deri.iris.rules.stratification

Class Summary

GlobalStratifier	The global stratification algorithm.
LocalStratificationDecorator	A rule adaptor that decorates a rule with adornments for local stratification.
LocalStratificationDecorator.Adornment	An immutable adornment for a single term of a rule head.
LocalStratifier	A local stratification algorithm.

Enum Summary

LocalStratificationDecorator.MatchType

Indication of how well a term (or rule head) matches another term (or rule head).