Class RandomPermutation

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.list.RandomPermutation

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class RandomPermutation
extends AbstractSingleResultPredicate

random_permutation(X,Y) - produces a random permutation of a list.

Succeeds if the second argument can be unified with a random permutation of the list represented by the first argument.

Constructor Summary

Constructors

Constructor	Description
RandomPermutation()

Method Summary

Modifier and Type	Method	Description
protected boolean	evaluate(Term a, Term b)

Methods inherited from class AbstractSingleResultPredicate

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

isAlwaysCutOnBacktrack, preprocess

Constructor Details

RandomPermutation

public RandomPermutation()

Method Details

evaluate

protected boolean evaluate(Term a,
 Term b)

Overrides:

evaluate in class AbstractSingleResultPredicate