Class Conjunction

java.lang.Object

org.projog.core.predicate.AbstractPredicateFactory

org.projog.core.predicate.builtin.compound.Conjunction

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory, PreprocessablePredicateFactory

public final class Conjunction
extends AbstractPredicateFactory
implements PreprocessablePredicateFactory

X,Y - conjunction.

X,Y specifies a conjunction of goals. X,Y succeeds if X succeeds and Y succeeds. If X succeeds and Y fails then an attempt is made to re-satisfy X. If X fails the entire conjunction fails.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static final class	Conjunction.ConjunctionPredicate
private static final class	Conjunction.OptimisedRetryableConjuction
private static final class	Conjunction.OptimisedSingletonConjuction

Constructor Summary

Constructors

Constructor	Description
Conjunction()

Method Summary

Modifier and Type	Method	Description
protected Predicate	getPredicate(Term arg1, Term arg2)
PredicateFactory	preprocess(Term term)

Methods inherited from class AbstractPredicateFactory

getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicate, getPredicate, getPredicate, 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

Conjunction

public Conjunction()

Method Details

getPredicate

protected Predicate getPredicate(Term arg1,
 Term arg2)

Overrides:

getPredicate in class AbstractPredicateFactory

preprocess

public PredicateFactory preprocess(Term term)

Specified by:

preprocess in interface PreprocessablePredicateFactory