Uses of Interface
org.provarules.kernel2.ProvaDerivationNode

Packages that use ProvaDerivationNode

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

Uses of ProvaDerivationNode in org.provarules.kernel2

Methods in org.provarules.kernel2 that return ProvaDerivationNode

Modifier and Type	Method and Description
ProvaDerivationNode	ProvaDerivationNode.getParent()
ProvaDerivationNode	ProvaResolutionInferenceEngine.run()

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

Modifier and Type	Method and Description
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)
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	ProvaDerivationNode.setParent(ProvaDerivationNode n)

Uses of ProvaDerivationNode in org.provarules.reference2

Classes in org.provarules.reference2 that implement ProvaDerivationNode

Modifier and Type	Class and Description
class	ProvaDerivationNodeImpl

Methods in org.provarules.reference2 that return ProvaDerivationNode

Modifier and Type	Method and Description
ProvaDerivationNode	ProvaDerivationNodeImpl.getParent() Get the parent derivation node.
ProvaDerivationNode	ProvaResolutionInferenceEngineImpl.run()

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

Modifier and Type	Method and Description
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)
void	ProvaDerivationNodeImpl.setParent(ProvaDerivationNode n) Set the parent node.

Uses of ProvaDerivationNode in org.provarules.reference2.builtins

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

Modifier and Type	Method and Description
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)