Package com.semedy.reasoner.reasoning.processes

Class BinaryPattern

java.lang.Object

com.semedy.reasoner.reasoning.processes.BodyPattern

com.semedy.reasoner.reasoning.processes.BinaryPattern

public class BinaryPattern
extends BodyPattern

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	BinaryPattern.State

Constructor Summary

Constructors

Constructor	Description
BinaryPattern(InterruptFlag interruptFlag, ReasoningMonitor monitor, SystemMonitor smonitor, BuiltinProvider builtinProvider, IntensionalDB idb, SymbolTable symbolTable, boolean streamReasoning, String queryKey, Properties builtinProperties, ExtensionalDB edb, boolean topDown)

Method Summary

Modifier and Type	Method	Description
ProcessImp	getProcess(List<Literal> remainingLiterals)
int	selectLiterals(int i)

Methods inherited from class com.semedy.reasoner.reasoning.processes.BodyPattern

init

Methods inherited from class java.lang.Object

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

Constructor Details

BinaryPattern

public BinaryPattern(InterruptFlag interruptFlag,
 ReasoningMonitor monitor,
 SystemMonitor smonitor,
 BuiltinProvider builtinProvider,
 IntensionalDB idb,
 SymbolTable symbolTable,
 boolean streamReasoning,
 String queryKey,
 Properties builtinProperties,
 ExtensionalDB edb,
 boolean topDown)

Method Details

getProcess

public ProcessImp getProcess(List<Literal> remainingLiterals)
                      throws SemReasonerException,
IOException

Specified by:

getProcess in class BodyPattern

Throws:

SemReasonerException

IOException

selectLiterals

public int selectLiterals(int i)

Specified by:

selectLiterals in class BodyPattern