Class SubList

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.list.SubList

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory, PreprocessablePredicateFactory

public final class SubList
extends AbstractSingleResultPredicate
implements PreprocessablePredicateFactory

include(X,Y,Z) - filters a list by a goal.

include(X,Y,Z) succeeds if the list Z consists of the elements of the list Y for which the goal X can be successfully applied.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static final class	SubList.PreprocessedSubList

Constructor Summary

Constructors

Constructor	Description
SubList()

Method Summary

Modifier and Type	Method	Description
protected boolean	evaluate(Term partiallyAppliedFunction, Term args, Term filteredOutput)
private static boolean	evaluateSubList(PredicateFactory pf, Term partiallyAppliedFunction, Term args, Term filteredOutput)
private boolean	isValidArguments(Term partiallyAppliedFunction, Term arg)
PredicateFactory	preprocess(Term term)

Methods inherited from class AbstractSingleResultPredicate

evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class Object

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

Methods inherited from interface PredicateFactory

getPredicate, isAlwaysCutOnBacktrack, isRetryable

Constructor Details

SubList

public SubList()

Method Details

evaluate

protected boolean evaluate(Term partiallyAppliedFunction,
 Term args,
 Term filteredOutput)

Overrides:

evaluate in class AbstractSingleResultPredicate

evaluateSubList

private static boolean evaluateSubList(PredicateFactory pf,
 Term partiallyAppliedFunction,
 Term args,
 Term filteredOutput)

isValidArguments

private boolean isValidArguments(Term partiallyAppliedFunction,
 Term arg)

preprocess

public PredicateFactory preprocess(Term term)

Specified by:

preprocess in interface PreprocessablePredicateFactory