Package org.deri.iris.optimisations.rulefilter

Class Summary
RuleFilter Methods to shrink rules to the absolute minimum of needed rules.