Package com.semedy.reasoner.rewriter

Class RuleReordering

java.lang.Object

com.semedy.reasoner.rewriter.RuleReordering

public class RuleReordering
extends Object

Constructor Summary

Constructors

Constructor	Description
RuleReordering(SIPS bodyOrdering, SymbolTable symbolTable)

Method Summary

Modifier and Type	Method	Description
IntensionalDB	rewrite(IntensionalDB idb, ExtensionalDB[] edbs)

Methods inherited from class java.lang.Object

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

Constructor Details

RuleReordering

public RuleReordering(SIPS bodyOrdering,
 SymbolTable symbolTable)

Method Details

rewrite

public IntensionalDB rewrite(IntensionalDB idb,
 ExtensionalDB[] edbs)
                      throws IOException,
SemReasonerException

Throws:

IOException

SemReasonerException