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 class`	`Conjunction.ConjunctionPredicate`
`private static class`	`Conjunction.OptimisedRetryableConjuction`
`private static class`	`Conjunction.OptimisedSingletonConjuction`

Constructor Summary

Constructors
Constructor Description

Conjunction()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`protected Predicate`	`getPredicate(Term arg1, Term arg2)`
`PredicateFactory`	`preprocess(Term term)`

Methods inherited from class org.projog.core.predicate.AbstractPredicateFactory
getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicate, getPredicate, getPredicate, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.projog.core.predicate.PredicateFactory
getPredicate, isAlwaysCutOnBacktrack, isRetryable

Constructor Detail
- Conjunction
```
public Conjunction()
```

Method Detail

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