Uses of Interface
org.provarules.kernel2.ProvaRule

Packages that use ProvaRule

Package	Description
org.provarules.agent2
org.provarules.kernel2
org.provarules.kernel2.messaging
org.provarules.parser
org.provarules.parser2
org.provarules.reference2
org.provarules.reference2.builtins
org.provarules.reference2.builtins.target
org.provarules.reference2.messaging

Uses of ProvaRule in org.provarules.agent2

Methods in org.provarules.agent2 with parameters of type ProvaRule

Modifier and Type	Method and Description
void	ProvaReagentImpl.submitAsync(long partition, ProvaRule goal, ProvaThreadpoolEnum threadPool)
void	ProvaReagent.submitAsync(long partition, ProvaRule goal, ProvaThreadpoolEnum targetPool)

Uses of ProvaRule in org.provarules.kernel2

Methods in org.provarules.kernel2 that return ProvaRule

Modifier and Type	Method and Description
ProvaRule	ProvaRule.cloneRule()
ProvaRule	ProvaRule.cloneRule(boolean cloneVariables)
ProvaRule	ProvaKnowledgeBase.generateGoal(ProvaLiteral[] body)
ProvaRule	ProvaKnowledgeBase.generateGoal(ProvaLiteral[] body, java.util.List<ProvaVariable> variables)
ProvaRule	ProvaKnowledgeBase.generateGoal(ProvaUnification unification, ProvaDerivationNode node, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset, java.util.List<ProvaVariable> variables)
ProvaRule	ProvaUnification.generateQuery(java.lang.String symbol, ProvaKnowledgeBase kb, ProvaRule query, ProvaDerivationNode node)
ProvaRule	ProvaKnowledgeBase.generateRule(long ruleId, ProvaLiteral head, ProvaLiteral[] body)
ProvaRule	ProvaKnowledgeBase.generateRule(ProvaLiteral head, ProvaLiteral[] body)
ProvaRule	ProvaKnowledgeBase.generateRule(ProvaLiteral head, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset)
ProvaRule	ProvaKnowledgeBase.generateRuleA(ProvaLiteral lit, ProvaLiteral[] provaLiterals)
ProvaRule	ProvaKnowledgeBase.generateSolveGoal(ProvaResultSet resultSet, ProvaLiteral[] body)
ProvaRule	ProvaGoal.getLastMatch()
ProvaRule	ProvaGoal.getQuery()
ProvaRule	ProvaDerivationNode.getQuery()
ProvaRule	ProvaUnification.getSource()
ProvaRule	ProvaUnification.getTarget()
ProvaRule	ProvaGoal.next()

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

Modifier and Type	Method and Description
java.util.List<ProvaRule>	ProvaRuleSet.getClauses()
java.util.List<ProvaRule>	ProvaRuleSet.getClauses(java.lang.Object key, ProvaObject[] source)
java.util.Iterator<ProvaRule>	ProvaGoal.getIterator()

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

Modifier and Type	Method and Description
void	ProvaRuleSet.add(ProvaRule clause)
void	ProvaRuleSet.addA(ProvaRule clause)
void	ProvaPredicate.addClause(ProvaRule clause)
void	ProvaLiteral.addClause(ProvaRule clause)
void	ProvaPredicate.addClauseA(ProvaRule clause)
void	ProvaLiteral.addClauseA(ProvaRule clause)
ProvaRule	ProvaUnification.generateQuery(java.lang.String symbol, ProvaKnowledgeBase kb, ProvaRule query, ProvaDerivationNode node)
boolean	ProvaBuiltin.process_(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaBuiltin.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
void	ProvaGoal.setLastMatch(ProvaRule lastMatch)
void	ProvaDerivationNode.setQuery(ProvaRule goalRule)

Uses of ProvaRule in org.provarules.kernel2.messaging

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

Modifier and Type	Method and Description
boolean	ProvaWorkflows.init_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflows.init_predicate_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflows.join_test(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflows.predicate_join_exit(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflows.predicate_join_test(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMessenger.prepareMsg(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMessenger.rcvMsg(ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query, boolean mult)
boolean	ProvaMessenger.rcvMsgP(ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query, boolean mult)
boolean	ProvaMessenger.sendMsg(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMessenger.spawn(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflows.stop_predicate_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)

Uses of ProvaRule in org.provarules.parser

Methods in org.provarules.parser that return ProvaRule

Modifier and Type	Method and Description
ProvaRule	ProvaWalker2.clause()
ProvaRule	ProvaWalker2.query()

Uses of ProvaRule in org.provarules.parser2

Methods in org.provarules.parser2 that return types with arguments of type ProvaRule

Modifier and Type	Method and Description
java.util.List<ProvaRule>	ProvaParserImpl.parse(ProvaKnowledgeBase kb, ProvaResultSet resultSet, java.io.BufferedReader in)
java.util.List<ProvaRule>	ProvaParserImpl.parse(ProvaKnowledgeBase kb, ProvaResultSet resultSet, java.lang.String filename)

Uses of ProvaRule in org.provarules.reference2

Classes in org.provarules.reference2 that implement ProvaRule

Modifier and Type	Class and Description
class	ProvaRuleImpl

Methods in org.provarules.reference2 that return ProvaRule

Modifier and Type	Method and Description
ProvaRule	ProvaRuleImpl.cloneRule()
ProvaRule	ProvaRuleImpl.cloneRule(boolean cloneVariables)
static ProvaRule	ProvaRuleImpl.createVirtualRule(long ruleId, ProvaLiteral head, ProvaLiteral[] body)
ProvaRule	ProvaKnowledgeBaseImpl.generateGoal(ProvaLiteral[] body)
ProvaRule	ProvaKnowledgeBaseImpl.generateGoal(ProvaLiteral[] body, java.util.List<ProvaVariable> variables)
ProvaRule	ProvaKnowledgeBaseImpl.generateGoal(ProvaUnification unification, ProvaDerivationNode node, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset, java.util.List<ProvaVariable> variables)
ProvaRule	ProvaUnificationImpl.generateQuery(java.lang.String symbol, ProvaKnowledgeBase kb, ProvaRule query, ProvaDerivationNode node)
ProvaRule	ProvaKnowledgeBaseImpl.generateRule(long ruleId, ProvaLiteral head, ProvaLiteral[] body) Called from ProvaMessengerImpl.
ProvaRule	ProvaKnowledgeBaseImpl.generateRule(ProvaLiteral head, ProvaLiteral[] body)
ProvaRule	ProvaKnowledgeBaseImpl.generateRule(ProvaLiteral head, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset)
ProvaRule	ProvaKnowledgeBaseImpl.generateRuleA(ProvaLiteral head, ProvaLiteral[] body) Add the rule in front of others in the collection.
ProvaRule	ProvaKnowledgeBaseImpl.generateSolveGoal(ProvaResultSet resultSet, ProvaLiteral[] body)
ProvaRule	ProvaGoalImpl.getLastMatch()
ProvaRule	ProvaGoalImpl.getQuery()
ProvaRule	ProvaDerivationNodeImpl.getQuery() Get the query.
ProvaRule	ProvaUnificationImpl.getSource()
ProvaRule	ProvaUnificationImpl.getTarget()
ProvaRule	ProvaGoalImpl.next()

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

Modifier and Type	Method and Description
java.util.List<ProvaRule>	ProvaRuleSetImpl.getClauses()
java.util.List<ProvaRule>	ProvaRuleSetImpl.getClauses(java.lang.Object key, ProvaObject[] source) Now implements pre-filtering by spotting mismatched constants in the source and target arguments
java.util.Iterator<ProvaRule>	ProvaGoalImpl.getIterator()

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

Modifier and Type	Method and Description
void	ProvaRuleSetImpl.add(ProvaRule clause)
void	ProvaRuleSetImpl.addA(ProvaRule clause)
void	ProvaPredicateImpl.addClause(ProvaRule clause)
void	ProvaLiteralImpl.addClause(ProvaRule clause)
void	ProvaPredicateImpl.addClauseA(ProvaRule clause)
void	ProvaLiteralImpl.addClauseA(ProvaRule clause)
ProvaRule	ProvaUnificationImpl.generateQuery(java.lang.String symbol, ProvaKnowledgeBase kb, ProvaRule query, ProvaDerivationNode node)
void	ProvaGoalImpl.setLastMatch(ProvaRule lastMatch)
void	ProvaDerivationNodeImpl.setQuery(ProvaRule f) Set the query.
void	ProvaUnificationImpl.setSource(ProvaRule source)
void	ProvaUnificationImpl.setTarget(ProvaRule target)

Method parameters in org.provarules.reference2 with type arguments of type ProvaRule

Modifier and Type	Method and Description
void	ProvaRuleSetImpl.setClauses(java.util.List<ProvaRule> clauses)
void	ProvaGoalImpl.setIterator(java.util.Iterator<ProvaRule> iterator)

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

Constructor and Description
ProvaGoalImpl(ProvaRule query)
ProvaResolutionInferenceEngineImpl(ProvaKnowledgeBase kb, ProvaRule query)
ProvaUnificationImpl(ProvaRule source, ProvaRule target)
ProvaUnificationImpl(ProvaRule source, ProvaRule target, boolean cloneTarget)

Uses of ProvaRule in org.provarules.reference2.builtins

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

Modifier and Type	Method and Description
void	ProvaBuiltinImpl.addClause(ProvaRule clause)
void	ProvaBuiltinImpl.addClauseA(ProvaRule clause)
boolean	ProvaBuiltinImpl.process_(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaUpdateImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaUpdateCacheImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaUnlistenImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaUniqueIdImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaUnescapeImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaTypeImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaTokenizeListImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaTokenizeEnumImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaTemporalRuleRemoveImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaStopPredicateJoinImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaSpawnImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaSparqlQueryImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaSparqlDisconnectImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaSparqlConnectImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaSolveImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaSendMsgSyncImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaSendMsgImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaReverseImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) Find the reverse of a rest-less list.
boolean	ProvaRetractImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaRetractAllImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaReceiveMultImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaReceiveMsgPImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaReceiveMsgImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaReadEnumImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaPrintlnImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaPrintImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaPredicateJoinTestImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaPredicateJoinExitImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaParseNvImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaParseListImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaNotEqualsImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMkListImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) Append a tail to a list that has no tail
boolean	ProvaMathSubtractImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMathRemainderImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMathMultiplyImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMathDivideImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMathAddImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMatchImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMapMergeImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) Merge two lists and produce a third.
boolean	ProvaListenImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaLessImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaLessEqualImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaLengthImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) Find the length of a rest-less list.
boolean	ProvaJoinTestImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaJavaPredicateImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaInsertImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaInitPredicateJoinImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaInitJoinImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaIamImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaGreaterImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaGreaterEqualImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaFreeImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaFopenImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaFailImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaExpressionLiteralImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaEqualsMinusImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaEqualsImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaElementImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) TODO: All this assumes that collections or iterators contain only ProvaObject members
boolean	ProvaDeriveImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaCutImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaCopyStreamImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaCopyImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaConsultImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaConstructorImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaConcatImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaCloneImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaCaptureEnumImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaCacheImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaByteStreamImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
abstract boolean	ProvaBuiltinImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaBoundImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaAttachImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaAtImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) Find element at the specified position in a list.
boolean	ProvaAssertImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaAssertAImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaAddGroupResultImpl.process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)

Uses of ProvaRule in org.provarules.reference2.builtins.target

Methods in org.provarules.reference2.builtins.target that return ProvaRule

Modifier and Type	Method and Description
ProvaRule	ProvaTargetImpl.getCandidate()
ProvaRule	ProvaTarget.getCandidate()

Methods in org.provarules.reference2.builtins.target with parameters of type ProvaRule

Modifier and Type	Method and Description
void	ProvaTargetImpl.setCandidate(ProvaRule candidate)
void	ProvaTarget.setCandidate(ProvaRule candidate)

Uses of ProvaRule in org.provarules.reference2.messaging

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

Modifier and Type	Method and Description
boolean	ProvaWorkflowsImpl.init_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflowsImpl.init_predicate_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflowsImpl.join_test(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflowsImpl.predicate_join_exit(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflowsImpl.predicate_join_test(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaMessengerImpl.prepareMsg(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) Prepare a rcvMsg goal for sending on the main agent thread if the verb is 'self' or a thread chosen according to the conversation-id cid (if the verb is 'async' or other).
boolean	ProvaMessengerImpl.rcvMsg(ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query, boolean mult)
boolean	ProvaMessengerImpl.rcvMsgP(ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query, boolean mult)
boolean	ProvaMessengerImpl.sendMsg(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query) Submits asynchronously a rcvMsg goal scheduled on the main agent thread if the verb is 'self' or a thread chosen according to the conversation-id cid (if the verb is 'async' or other).
boolean	ProvaMessengerImpl.spawn(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	ProvaWorkflowsImpl.stop_predicate_join(ProvaLiteral literal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)

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

Constructor and Description
ProvaMessageImpl(long id, ProvaRule goal, ProvaThreadpoolEnum pool)