Package org.projog.core.predicate.udp
Class ClauseActionFactory
- java.lang.Object
-
- org.projog.core.predicate.udp.ClauseActionFactory
-
final class ClauseActionFactory extends java.lang.ObjectConstructs newClauseActioninstances.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description (package private) static classClauseActionFactory.AlwaysMatchedFactClause where all consequent args are distinctly different variables and antecedent is true.(package private) static classClauseActionFactory.ImmutableConsequentRuleClause where the consequent args are all immutable and the antecedent is not true.(package private) static classClauseActionFactory.ImmutableFactClause where the consequent args are all immutable and the antecedent is true.(package private) static classClauseActionFactory.MutableFactClause where at least one consequent arg is mutable and the antecedent is true.(package private) static classClauseActionFactory.MutableRuleClause where at least one consequent arg is mutable and the antecedent is not true.(package private) static classClauseActionFactory.VariableAntecedantClauseActionClause where the antecedent is a variable.(package private) static classClauseActionFactory.ZeroArgConsequentRuleClause where the consequent has no args.
-
Constructor Summary
Constructors Constructor Description ClauseActionFactory()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description (package private) static ClauseActioncreateClauseAction(KnowledgeBase kb, ClauseModel model)Returns a newClauseActionbased on the specifiedClauseModel.(package private) static booleanisMatch(ClauseAction clause, Term[] queryArgs)Returns true if the arguments unify with the consequent of the clause.
-
-
-
Method Detail
-
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 newClauseActionbased on the specifiedClauseModel.
-
-