Package com.semedy.reasoner.reasoning.processes

Class BodyPattern

java.lang.Object

com.semedy.reasoner.reasoning.processes.BodyPattern

Direct Known Subclasses:

BinaryPattern

public abstract class BodyPattern
extends Object

Constructor Summary

Constructors

Constructor	Description
BodyPattern(InterruptFlag interruptFlag, IntensionalDB idb)

Method Summary

Modifier and Type	Method	Description
abstract Process	getProcess(List<Literal> remainingLiterals)
void	init(RuleEvaluator reval, int[] partsVector, Set<Integer> builtinsNotInternalize, int maxStratum)
abstract int	selectLiterals(int i)

Methods inherited from class java.lang.Object

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

Constructor Details

BodyPattern

public BodyPattern(InterruptFlag interruptFlag,
 IntensionalDB idb)

Method Details

selectLiterals

public abstract int selectLiterals(int i)

init

public void init(RuleEvaluator reval,
 int[] partsVector,
 Set<Integer> builtinsNotInternalize,
 int maxStratum)

getProcess

public abstract Process getProcess(List<Literal> remainingLiterals)
                            throws InterruptedException,
IOException,
SemReasonerException

Throws:

InterruptedException

IOException

SemReasonerException