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

Packages that use ClauseModel

Package	Description
org.projog.api	Provides a programming interface for Java applications to interact with Projog.
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.builtin.kb	Predicates for inspecting, adding and retracting clauses.
org.projog.core.predicate.udp	Provides functionality to evaluate user defined predicates defined using Prolog syntax.

Uses of ClauseModel in org.projog.api

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

Modifier and Type	Method	Description
private List<ClauseModel>	Projog.getClauses(Throwable e)

Uses of ClauseModel in org.projog.core

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

Modifier and Type	Field	Description
private final List<ClauseModel>	ProjogException.stackTrace

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

Fields in org.projog.core.event declared as ClauseModel

Modifier and Type	Field	Description
private final ClauseModel	SpyPoints.SpyPointExitEvent.clauseModel

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[] args, ClauseModel clause)	Notifies listeners of that an attempt to evaluate a goal has succeeded.

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

Modifier	Constructor	Description
private	SpyPointExitEvent(PredicateKey key, Term[] args, Object source, ClauseModel clauseModel)

Uses of ClauseModel in org.projog.core.predicate.builtin.kb

Fields in org.projog.core.predicate.builtin.kb with type parameters of type ClauseModel

Modifier and Type	Field	Description
private final Iterator<ClauseModel>	Inspect.InspectPredicate.implications

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

Modifier and Type	Method	Description
private Iterator<ClauseModel>	Listing.getClauses(PredicateKey key)

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

Modifier and Type	Method	Description
private void	Assert.add(UserDefinedPredicateFactory userDefinedPredicate, ClauseModel clauseModel)
private void	Listing.listClause(ClauseModel clauseModel)
private boolean	Inspect.InspectPredicate.unifiable(Term clauseHead, Term clauseBody, ClauseModel clauseModel)

Constructor parameters in org.projog.core.predicate.builtin.kb with type arguments of type ClauseModel

Modifier	Constructor	Description
private	InspectPredicate(Term clauseHead, Term clauseBody, Iterator<ClauseModel> implications)

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

Classes in org.projog.core.predicate.udp that implement interfaces with type arguments of type ClauseModel

Modifier and Type	Class	Description
private class	DynamicUserDefinedPredicateFactory.ImplicationsIterator
private static final class	StaticUserDefinedPredicateFactory.ImplicationsIterator

Fields in org.projog.core.predicate.udp declared as ClauseModel

Modifier and Type	Field	Description
private final ClauseModel	TailRecursivePredicateMetaData.firstClause
private final ClauseModel	ClauseActionFactory.AlwaysMatchedFact.model
private final ClauseModel	ClauseActionFactory.ImmutableConsequentRule.model
private final ClauseModel	ClauseActionFactory.ImmutableFact.model
private final ClauseModel	ClauseActionFactory.MutableFact.model
private final ClauseModel	ClauseActionFactory.MutableRule.model
private final ClauseModel	ClauseActionFactory.VariableAntecedantClauseAction.model
private final ClauseModel	ClauseActionFactory.ZeroArgConsequentRule.model
private final ClauseModel	TailRecursivePredicateMetaData.secondClause

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

Modifier and Type	Field	Description
private final List<ClauseModel>	StaticUserDefinedPredicateFactory.implications
private final Iterator<ClauseModel>	StaticUserDefinedPredicateFactory.ImplicationsIterator.iterator

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	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	ClauseActionFactory.AlwaysMatchedFact.getModel()
ClauseModel	ClauseActionFactory.ImmutableConsequentRule.getModel()
ClauseModel	ClauseActionFactory.ImmutableFact.getModel()
ClauseModel	ClauseActionFactory.MutableFact.getModel()
ClauseModel	ClauseActionFactory.MutableRule.getModel()
ClauseModel	ClauseActionFactory.VariableAntecedantClauseAction.getModel()
ClauseModel	ClauseActionFactory.ZeroArgConsequentRule.getModel()
ClauseModel	TailRecursivePredicateMetaData.getSecondClause()
ClauseModel	DynamicUserDefinedPredicateFactory.ImplicationsIterator.next()	Returns a new copy to avoid the original being altered.
ClauseModel	StaticUserDefinedPredicateFactory.ImplicationsIterator.next()	Returns a new copy to avoid the original being altered.

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

Modifier and Type	Method	Description
private List<ClauseModel>	StaticUserDefinedPredicateFactory.getCopyOfImplications()
Iterator<ClauseModel>	DynamicUserDefinedPredicateFactory.getImplications()	Returns an iterator over the clauses of this user defined predicate.
Iterator<ClauseModel>	StaticUserDefinedPredicateFactory.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	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	UserDefinedPredicateFactory.addLast(ClauseModel clauseModel)	Adds a clause to the end of the predicate's list of clauses.
private void	DynamicUserDefinedPredicateFactory.addToIndex(ClauseModel clauseModel, DynamicUserDefinedPredicateFactory.ClauseActionMetaData metaData)
(package private) static ClauseAction	ClauseActionFactory.createClauseAction(KnowledgeBase kb, ClauseModel model)	Returns a new ClauseAction based on the specified ClauseModel.
private DynamicUserDefinedPredicateFactory.ClauseActionMetaData	DynamicUserDefinedPredicateFactory.createClauseActionMetaData(ClauseModel clauseModel)
private static boolean	TailRecursivePredicateMetaData.isAntecedentRecursive(KnowledgeBase kb, ClauseModel secondTerm)

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.
(package private) static Clauses	Clauses.createFromModels(KnowledgeBase kb, List<ClauseModel> models)
private PredicateFactory	StaticUserDefinedPredicateFactory.createInterpretedPredicateFactoryFromClauseActions(Clauses clauses, List<ClauseModel> clauseModels)
private static boolean	TailRecursivePredicateMetaData.isTailRecursive(KnowledgeBase kb, List<ClauseModel> terms)

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

Modifier	Constructor	Description
private	AlwaysMatchedFact(ClauseModel model)
(package private)	ClauseActionMetaData(KnowledgeBase kb, ClauseModel clauseModel)
private	ImmutableConsequentRule(ClauseModel model, PredicateFactory pf)
private	ImmutableFact(ClauseModel model)
private	MutableFact(ClauseModel model)
private	MutableRule(ClauseModel model, PredicateFactory pf)
private	VariableAntecedantClauseAction(ClauseModel model, KnowledgeBase kb)
private	ZeroArgConsequentRule(ClauseModel model, PredicateFactory pf)

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

Modifier	Constructor	Description
(package private)	ImplicationsIterator(List<ClauseModel> implications)
private	TailRecursivePredicateMetaData(List<ClauseModel> clauses)