Class ClauseActionFactory

java.lang.Object

org.projog.core.predicate.udp.ClauseActionFactory

final class ClauseActionFactory
extends Object

Constructs new ClauseAction instances.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static final class	ClauseActionFactory.AlwaysMatchedFact	Clause where all consequent args are distinctly different variables and antecedent is true.
(package private) static final class	ClauseActionFactory.ImmutableConsequentRule	Clause where the consequent args are all immutable and the antecedent is not true.
(package private) static final class	ClauseActionFactory.ImmutableFact	Clause where the consequent args are all immutable and the antecedent is true.
(package private) static final class	ClauseActionFactory.MutableFact	Clause where at least one consequent arg is mutable and the antecedent is true.
(package private) static final class	ClauseActionFactory.MutableRule	Clause where at least one consequent arg is mutable and the antecedent is not true.
(package private) static final class	ClauseActionFactory.VariableAntecedantClauseAction	Clause where the antecedent is a variable.
(package private) static final class	ClauseActionFactory.ZeroArgConsequentRule	Clause where the consequent has no args.

Constructor Summary

Constructors

Constructor	Description
ClauseActionFactory()

Method Summary

Modifier and Type	Method	Description
(package private) static ClauseAction	createClauseAction(KnowledgeBase kb, ClauseModel model)	Returns a new ClauseAction based on the specified ClauseModel.
(package private) static boolean	isMatch(ClauseAction clause, Term[] queryArgs)	Returns true if the arguments unify with the consequent of the clause.

Methods inherited from class Object

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

Constructor Details

ClauseActionFactory

ClauseActionFactory()

Method Details

isMatch

static boolean isMatch(ClauseAction clause,
 Term[] queryArgs)

Returns true if the arguments unify with the consequent of the clause.

TODO move to another class, e.g. ClauseAction

createClauseAction

static ClauseAction createClauseAction(KnowledgeBase kb,
 ClauseModel model)

Returns a new ClauseAction based on the specified ClauseModel.