|
Interfaces
IRuleHeadEqualityPreProcessor IRuleOptimiser IRuleReOrderingOptimiser IRuleSafetyProcessor IRuleStratifier |
|
Classes
DisallowRuleHeadEquality IgnoreRuleHeadEquality RuleAnalyser RuleHeadEquality RuleHeadEqualityRewriter RuleManipulator RuleValidator |