Uses of Interface
org.provarules.kernel2.ProvaPredicate

Packages that use ProvaPredicate

Package	Description
org.provarules.kernel2
org.provarules.kernel2.messaging
org.provarules.reference2
org.provarules.reference2.builtins
org.provarules.reference2.cache
org.provarules.reference2.messaging

Uses of ProvaPredicate in org.provarules.kernel2

Subinterfaces of ProvaPredicate in org.provarules.kernel2

Modifier and Type	Interface and Description
interface	ProvaBuiltin

Methods in org.provarules.kernel2 that return ProvaPredicate

Modifier and Type	Method and Description
ProvaPredicate	ProvaKnowledgeBase.generatePredicate(java.lang.String symbol, int arity)
ProvaPredicate	ProvaKnowledgeBase.getOrGeneratePredicate(java.lang.String symbol, int arity)
ProvaPredicate	ProvaLiteral.getPredicate()
ProvaPredicate	ProvaKnowledgeBase.getPredicate(java.lang.String symbol, int arity)

Methods in org.provarules.kernel2 that return types with arguments of type ProvaPredicate

Modifier and Type	Method and Description
java.util.concurrent.ConcurrentMap<java.lang.String,ProvaPredicate>	ProvaKnowledgeBase.getPredicates()

Methods in org.provarules.kernel2 with parameters of type ProvaPredicate

Modifier and Type	Method and Description
boolean	ProvaPredicate.equals(ProvaPredicate predicate)

Uses of ProvaPredicate in org.provarules.kernel2.messaging

Methods in org.provarules.kernel2.messaging with parameters of type ProvaPredicate

Modifier and Type	Method and Description
boolean	ProvaMessenger.removeTemporalRule(ProvaPredicate predicate, ProvaPredicate predicate2, long key, boolean recursive, ProvaList reaction, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata)
void	ProvaMessenger.scheduleCleanup(ProvaObject xid, ProvaGroup group, ProvaPredicate p1, ProvaPredicate p2, long ruleid, long delay, long period, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata)

Uses of ProvaPredicate in org.provarules.reference2

Classes in org.provarules.reference2 that implement ProvaPredicate

Modifier and Type	Class and Description
class	ProvaPredicateImpl

Fields in org.provarules.reference2 declared as ProvaPredicate

Modifier and Type	Field and Description
protected ProvaPredicate	ProvaLiteralImpl.predicate

Methods in org.provarules.reference2 that return ProvaPredicate

Modifier and Type	Method and Description
ProvaPredicate	ProvaKnowledgeBaseImpl.generatePredicate(java.lang.String symbol, int arity)
ProvaPredicate	ProvaKnowledgeBaseImpl.getOrGeneratePredicate(java.lang.String symbol, int arity)
ProvaPredicate	ProvaLiteralImpl.getPredicate()
ProvaPredicate	ProvaGoalImpl.getPredicate()
ProvaPredicate	ProvaKnowledgeBaseImpl.getPredicate(java.lang.String symbol, int arity)

Methods in org.provarules.reference2 that return types with arguments of type ProvaPredicate

Modifier and Type	Method and Description
java.util.concurrent.ConcurrentMap<java.lang.String,ProvaPredicate>	ProvaKnowledgeBaseImpl.getPredicates()

Methods in org.provarules.reference2 with parameters of type ProvaPredicate

Modifier and Type	Method and Description
boolean	ProvaPredicateImpl.equals(ProvaPredicate predicate)

Constructors in org.provarules.reference2 with parameters of type ProvaPredicate

Constructor and Description
ProvaGuardedLiteralImpl(ProvaPredicate pred, ProvaList terms, java.util.List<ProvaLiteral> guard)
ProvaLiteralImpl(ProvaPredicate predicate, ProvaList terms)
ProvaLiteralImpl(ProvaPredicate predicate, ProvaList terms, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata)

Uses of ProvaPredicate in org.provarules.reference2.builtins

Classes in org.provarules.reference2.builtins that implement ProvaPredicate

Modifier and Type	Class and Description
class	ProvaAddGroupResultImpl
class	ProvaAssertAImpl
class	ProvaAssertImpl
class	ProvaAtImpl
class	ProvaAttachImpl
class	ProvaBoundImpl
class	ProvaBuiltinImpl
class	ProvaByteStreamImpl
class	ProvaCacheImpl
class	ProvaCaptureEnumImpl
class	ProvaCloneImpl
class	ProvaConcatImpl
class	ProvaConstructorImpl
class	ProvaConsultImpl
class	ProvaCopyImpl
class	ProvaCopyStreamImpl
class	ProvaCutImpl
class	ProvaDeriveImpl
class	ProvaElementImpl
class	ProvaEqualsImpl
class	ProvaEqualsMinusImpl
class	ProvaExpressionLiteralImpl
class	ProvaFailImpl
class	ProvaFopenImpl
class	ProvaFreeImpl
class	ProvaGreaterEqualImpl
class	ProvaGreaterImpl
class	ProvaIamImpl
class	ProvaInitJoinImpl
class	ProvaInitPredicateJoinImpl
class	ProvaInsertImpl
class	ProvaJavaPredicateImpl
class	ProvaJoinTestImpl
class	ProvaLengthImpl
class	ProvaLessEqualImpl
class	ProvaLessImpl
class	ProvaListenImpl
class	ProvaMapMergeImpl
class	ProvaMatchImpl
class	ProvaMathAddImpl
class	ProvaMathDivideImpl
class	ProvaMathMultiplyImpl
class	ProvaMathRemainderImpl
class	ProvaMathSubtractImpl
class	ProvaMkListImpl
class	ProvaNotEqualsImpl
class	ProvaParseListImpl
class	ProvaParseNvImpl
class	ProvaPredicateJoinExitImpl
class	ProvaPredicateJoinTestImpl
class	ProvaPrintImpl
class	ProvaPrintlnImpl
class	ProvaReadEnumImpl
class	ProvaReceiveMsgImpl
class	ProvaReceiveMsgPImpl
class	ProvaReceiveMultImpl
class	ProvaRetractAllImpl
class	ProvaRetractImpl
class	ProvaReverseImpl
class	ProvaSendMsgImpl
class	ProvaSendMsgSyncImpl
class	ProvaSolveImpl
class	ProvaSparqlAskImpl sparql_ask built-in.
class	ProvaSparqlConnectImpl sparql_connect built-in.
class	ProvaSparqlDisconnectImpl sparql_disconnect built-in.
class	ProvaSparqlQueryImpl Abstract sparql query base class.
class	ProvaSparqlSelectImpl sparql_select built-in.
class	ProvaSpawnImpl
class	ProvaStopPredicateJoinImpl
class	ProvaTemporalRuleRemoveImpl
class	ProvaTokenizeEnumImpl
class	ProvaTokenizeListImpl
class	ProvaTypeImpl
class	ProvaUnescapeImpl
class	ProvaUniqueIdImpl
class	ProvaUnlistenImpl
class	ProvaUpdateCacheImpl
class	ProvaUpdateImpl

Methods in org.provarules.reference2.builtins with parameters of type ProvaPredicate

Modifier and Type	Method and Description
boolean	ProvaBuiltinImpl.equals(ProvaPredicate predicate)
protected boolean	ProvaSparqlSelectImpl.processQuery(ProvaPredicate pred, ProvaConstant cqid, org.eclipse.rdf4j.repository.RepositoryConnection con, java.lang.String sparql_query)
protected abstract boolean	ProvaSparqlQueryImpl.processQuery(ProvaPredicate pred, ProvaConstant cqid, org.eclipse.rdf4j.repository.RepositoryConnection con, java.lang.String sparql_query)
protected boolean	ProvaSparqlAskImpl.processQuery(ProvaPredicate pred, ProvaConstant cqid, org.eclipse.rdf4j.repository.RepositoryConnection con, java.lang.String sparql_query)

Uses of ProvaPredicate in org.provarules.reference2.cache

Constructors in org.provarules.reference2.cache with parameters of type ProvaPredicate

Constructor and Description
ProvaCachedLiteralImpl(ProvaPredicate predicate, ProvaList terms, ProvaCacheState cacheState, ProvaLocalAnswers answers)

Uses of ProvaPredicate in org.provarules.reference2.messaging

Methods in org.provarules.reference2.messaging that return ProvaPredicate

Modifier and Type	Method and Description
ProvaPredicate	RemoveList.getP1()
ProvaPredicate	RemoveList.getP2()

Methods in org.provarules.reference2.messaging with parameters of type ProvaPredicate

Modifier and Type	Method and Description
boolean	ProvaMessengerImpl.removeTemporalRule(ProvaPredicate predicate, ProvaPredicate predicate2, long key, boolean recursive, ProvaList reaction, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata)
void	ProvaMessengerImpl.scheduleCleanup(ProvaObject xid, ProvaGroup group, ProvaPredicate p1, ProvaPredicate p2, long ruleid, long delay, long period, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata)

Constructors in org.provarules.reference2.messaging with parameters of type ProvaPredicate

Constructor and Description
ProvaScheduleGroupMemberCleanupImpl(ProvaObject xid, ProvaGroup group, ProvaPredicate p1, ProvaPredicate p2, long ruleid, long delay, long period, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata)
ProvaScheduleGroupMemberCleanupImpl(ProvaPredicate p1, ProvaPredicate p2, long ruleid, long delay, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata)
RemoveList(ProvaPredicate p1, ProvaPredicate p2, long ruleid, ProvaList reaction)