Package com.semedy.reasoner.rewriter

Class SeparateEDBfromIDB

java.lang.Object

com.semedy.reasoner.rewriter.SeparateEDBfromIDB

public class SeparateEDBfromIDB
extends Object

Constructor Summary

Constructors

Constructor	Description
SeparateEDBfromIDB(SymbolTable symboltable)

Method Summary

Modifier and Type	Method	Description
IntensionalDB	separate(IntensionalDB idb, ExtensionalDB[] edbs, boolean cep)

Methods inherited from class java.lang.Object

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

Constructor Details

SeparateEDBfromIDB

public SeparateEDBfromIDB(SymbolTable symboltable)

Method Details

separate

public IntensionalDB separate(IntensionalDB idb,
 ExtensionalDB[] edbs,
 boolean cep)
                       throws IOException,
SemReasonerException

Throws:

IOException

SemReasonerException