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 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 final KnowledgeBase	kb
private final ClauseModel	model

Constructor Summary

Constructors

Modifier	Constructor	Description
private	VariableAntecedantClauseAction(ClauseModel model, KnowledgeBase kb)

Method Summary

Modifier and Type	Method	Description
ClauseModel	getModel()
Predicate	getPredicate(Term[] input)
boolean	isAlwaysCutOnBacktrack()
boolean	isRetryable()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

model

private final ClauseModel model

kb

private final KnowledgeBase kb

Constructor Details

VariableAntecedantClauseAction

private VariableAntecedantClauseAction(ClauseModel model,
 KnowledgeBase kb)

Method Details

getPredicate

public Predicate getPredicate(Term[] input)

Specified by:

getPredicate in interface ClauseAction

getModel

public ClauseModel getModel()

Specified by:

getModel in interface ClauseAction

isRetryable

public boolean isRetryable()

Specified by:

isRetryable in interface ClauseAction

isAlwaysCutOnBacktrack

public boolean isAlwaysCutOnBacktrack()

Specified by:

isAlwaysCutOnBacktrack in interface ClauseAction