Package com.semedy.reasoner.reasoning.processes

Class TopDown

java.lang.Object

com.semedy.reasoner.reasoning.processes.ProcessImp

com.semedy.reasoner.reasoning.processes.TopDown

All Implemented Interfaces:

Receiver, Process

public class TopDown
extends ProcessImp
implements Receiver

propagates intermediate results top down

Constructor Summary

Constructors

Constructor	Description
TopDown(InterruptFlag interruptflag, int[] mapping, long[] groundterms, int[] groundpositions, int destarity, Literal topLiteral, Literal magic, ProcessExecutor executor, ReasoningMonitor monitor)

Method Summary

Modifier and Type	Method	Description
TupleStore	getTupleStore()	get the basic tuple store
boolean	receiveRelation(ReasoningRelation tuples)	receive a whole relation
boolean	receiveTuple(int tuple)	receive a single tuple
boolean	receiveTuple(long[] tuple)	receive a single tuple
String	toString()

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

addNextReceiver, addRelation, clear, dispose, evaluate, evaluationFinished, evaluationFinished, getArity, getPriority, getStratum, isNotQueuedSetQueued, isQueued, nextReceiver, operationFinished, receiveTuple, setDataFlowGraph, setQueued, setStratum, startTuples, tuplesFinished, tuplesFinished

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.semedy.reasoner.api.reasoning.Receiver

receiveTuple, startTuples, tuplesFinished, tuplesFinished

Constructor Details

TopDown

public TopDown(InterruptFlag interruptflag,
 int[] mapping,
 long[] groundterms,
 int[] groundpositions,
 int destarity,
 Literal topLiteral,
 Literal magic,
 ProcessExecutor executor,
 ReasoningMonitor monitor)

Method Details

receiveRelation

public boolean receiveRelation(ReasoningRelation tuples)
                        throws SemReasonerException,
InterruptedException,
IOException

Description copied from interface: Receiver

receive a whole relation

Specified by:

receiveRelation in interface Receiver

Overrides:

receiveRelation in class ProcessImp

Parameters:

tuples - the whole relation to be received

Returns:

true, if relation is later on dissolved, false otherwise

Throws:

ReasoningException

InterruptedException

IOException

SemReasonerException

receiveTuple

public boolean receiveTuple(long[] tuple)
                     throws ReasoningException,
InterruptedException

Description copied from interface: Receiver

receive a single tuple

Specified by:

receiveTuple in interface Receiver

Overrides:

receiveTuple in class ProcessImp

Parameters:

tuple - the tuple to be received

Returns:

true if tuple has been used (tuple cannot be free'd up)

Throws:

InterruptedException

ReasoningException

receiveTuple

public boolean receiveTuple(int tuple)
                     throws ReasoningException,
InterruptedException

Description copied from interface: Receiver

receive a single tuple

Specified by:

receiveTuple in interface Receiver

Overrides:

receiveTuple in class ProcessImp

Parameters:

tuple - the tuple to be received

Returns:

true if tuple has been used (tuple cannot be free'd up)

Throws:

InterruptedException

ReasoningException

getTupleStore

public TupleStore getTupleStore()

Description copied from interface: Receiver

get the basic tuple store

Specified by:

getTupleStore in interface Process

Specified by:

getTupleStore in interface Receiver

Overrides:

getTupleStore in class ProcessImp

Returns:

the tuple store

toString

public String toString()

Overrides:

toString in class Object