Package org.projog.core.predicate.udp
Class ClauseActionFactory.VariableAntecedantClauseAction
- java.lang.Object
-
- org.projog.core.predicate.udp.ClauseActionFactory.VariableAntecedantClauseAction
-
- All Implemented Interfaces:
ClauseAction
- Enclosing class:
- ClauseActionFactory
static final class ClauseActionFactory.VariableAntecedantClauseAction extends java.lang.Object implements ClauseAction
Clause where the antecedent is a variable.When the antecedent is a variable then the associated predicate factory can only be determined at runtime.
e.g. "p(X) :- X."
-
-
Field Summary
Fields Modifier and Type Field Description private KnowledgeBasekbprivate ClauseModelmodel
-
Constructor Summary
Constructors Modifier Constructor Description privateVariableAntecedantClauseAction(ClauseModel model, KnowledgeBase kb)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ClauseModelgetModel()PredicategetPredicate(Term[] input)booleanisAlwaysCutOnBacktrack()booleanisRetryable()
-
-
-
Field Detail
-
model
private final ClauseModel model
-
kb
private final KnowledgeBase kb
-
-
Constructor Detail
-
VariableAntecedantClauseAction
private VariableAntecedantClauseAction(ClauseModel model, KnowledgeBase kb)
-
-
Method Detail
-
getPredicate
public Predicate getPredicate(Term[] input)
- Specified by:
getPredicatein interfaceClauseAction
-
getModel
public ClauseModel getModel()
- Specified by:
getModelin interfaceClauseAction
-
isRetryable
public boolean isRetryable()
- Specified by:
isRetryablein interfaceClauseAction
-
isAlwaysCutOnBacktrack
public boolean isAlwaysCutOnBacktrack()
- Specified by:
isAlwaysCutOnBacktrackin interfaceClauseAction
-
-