Package com.semedy.reasoner.reasoning.processes

Class RuleSimplifier

java.lang.Object

com.semedy.reasoner.reasoning.processes.RuleSimplifier

public class RuleSimplifier
extends Object

Author:

Juergen

Constructor Summary

Constructors

Constructor	Description
RuleSimplifier(boolean topDown)

Method Summary

Modifier and Type	Method	Description
Rule	rewriteRule(Rule rule, BuiltinProvider builtins)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

RuleSimplifier

public RuleSimplifier(boolean topDown)

Method Details

rewriteRule

public Rule rewriteRule(Rule rule,
 BuiltinProvider builtins)
                 throws IDBException

Throws:

IDBException