Uses of Class
org.projog.core.predicate.udp.ClauseModel

Packages that use ClauseModel

Package	Description
org.projog.core	Provides a Java based implementation of the Prolog logic programming language.
org.projog.core.event	Provides a mechanism for objects to notify and be notified of events.
org.projog.core.predicate.udp	Provides functionality to evaluate user defined predicates defined using Prolog syntax.

Uses of ClauseModel in org.projog.core

Methods in org.projog.core that return types with arguments of type ClauseModel

Modifier and Type	Method	Description
List<ClauseModel>	ProjogException.getClauses()

Methods in org.projog.core with parameters of type ClauseModel

Modifier and Type	Method	Description
void	ProjogException.addClause(ClauseModel clause)

Uses of ClauseModel in org.projog.core.event

Methods in org.projog.core.event that return ClauseModel

Modifier and Type	Method	Description
ClauseModel	SpyPoints.SpyPointExitEvent.getClauseModel()

Methods in org.projog.core.event with parameters of type ClauseModel

Modifier and Type	Method	Description
void	SpyPoints.SpyPoint.logExit(Object source, Term term, ClauseModel clause)	Notifies listeners of that an attempt to evaluate a goal has succeeded.

Uses of ClauseModel in org.projog.core.predicate.udp

Methods in org.projog.core.predicate.udp that return ClauseModel

Modifier and Type	Method	Description
ClauseModel	ClauseModel.copy()
static ClauseModel	ClauseModel.createClauseModel(Term original)
ClauseModel	DynamicUserDefinedPredicateFactory.getClauseModel(int index)
ClauseModel	StaticUserDefinedPredicateFactory.getClauseModel(int index)
ClauseModel	TabledUserDefinedPredicateFactory.getClauseModel(int index)
ClauseModel	UserDefinedPredicateFactory.getClauseModel(int index)	Returns the clause at the specified position in this predicate's list of clauses.
ClauseModel	TailRecursivePredicateMetaData.getFirstClause()
ClauseModel	ClauseAction.getModel()
ClauseModel	TailRecursivePredicateMetaData.getSecondClause()

Methods in org.projog.core.predicate.udp that return types with arguments of type ClauseModel

Modifier and Type	Method	Description
Iterator<ClauseModel>	DynamicUserDefinedPredicateFactory.getImplications()	Returns an iterator over the clauses of this user defined predicate.
Iterator<ClauseModel>	UserDefinedPredicateFactory.getImplications()	Returns an iterator over the clauses in the predicate in proper sequence.

Methods in org.projog.core.predicate.udp with parameters of type ClauseModel

Modifier and Type	Method	Description
void	DynamicUserDefinedPredicateFactory.addFirst(ClauseModel clauseModel)
void	StaticUserDefinedPredicateFactory.addFirst(ClauseModel clauseModel)	Not supported.
void	TabledUserDefinedPredicateFactory.addFirst(ClauseModel clauseModel)
void	UserDefinedPredicateFactory.addFirst(ClauseModel clauseModel)	Adds a clause to the beginning of the predicate's list of clauses.
void	DynamicUserDefinedPredicateFactory.addLast(ClauseModel clauseModel)
void	StaticUserDefinedPredicateFactory.addLast(ClauseModel clauseModel)	Adds new clause to list of clauses for this predicate.
void	TabledUserDefinedPredicateFactory.addLast(ClauseModel clauseModel)
void	UserDefinedPredicateFactory.addLast(ClauseModel clauseModel)	Adds a clause to the end of the predicate's list of clauses.

Method parameters in org.projog.core.predicate.udp with type arguments of type ClauseModel

Modifier and Type	Method	Description
static TailRecursivePredicateMetaData	TailRecursivePredicateMetaData.create(KnowledgeBase kb, List<ClauseModel> clauses)	Returns a new TailRecursivePredicateMetaData representing the user defined predicate defined by the specified clauses or null if the predicate is not tail recursive.