Class Conjunction.OptimisedRetryableConjuction
- java.lang.Object
-
- org.projog.core.predicate.AbstractPredicateFactory
-
- org.projog.core.predicate.builtin.compound.Conjunction.OptimisedRetryableConjuction
-
- All Implemented Interfaces:
KnowledgeBaseConsumer,PredicateFactory
- Enclosing class:
- Conjunction
private static final class Conjunction.OptimisedRetryableConjuction extends AbstractPredicateFactory
-
-
Field Summary
Fields Modifier and Type Field Description private PredicateFactoryfirstPredicateFactoryprivate PredicateFactorysecondPredicateFactory
-
Constructor Summary
Constructors Constructor Description OptimisedRetryableConjuction(PredicateFactory firstPredicateFactory, PredicateFactory secondPredicateFactory)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected PredicategetPredicate(Term arg1, Term arg2)booleanisAlwaysCutOnBacktrack()Will attempting to re-evaluate this implementation always result in a cut?-
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
-
-
-
-
Field Detail
-
firstPredicateFactory
private final PredicateFactory firstPredicateFactory
-
secondPredicateFactory
private final PredicateFactory secondPredicateFactory
-
-
Constructor Detail
-
OptimisedRetryableConjuction
OptimisedRetryableConjuction(PredicateFactory firstPredicateFactory, PredicateFactory secondPredicateFactory)
-
-
Method Detail
-
getPredicate
protected Predicate getPredicate(Term arg1, Term arg2)
- Overrides:
getPredicatein classAbstractPredicateFactory
-
isAlwaysCutOnBacktrack
public boolean isAlwaysCutOnBacktrack()
Description copied from interface:PredicateFactoryWill attempting to re-evaluate this implementation always result in a cut?- Returns:
trueif a cut will always be encountered when attempting to re-evaluate,falseotherwise
-
-