Uses of Interface
org.provarules.kernel2.ProvaKnowledgeBase

Packages that use ProvaKnowledgeBase

Package	Description
org.provarules.agent2
org.provarules.kernel2
org.provarules.parser2
org.provarules.reference2
org.provarules.reference2.builtins
org.provarules.reference2.eventing
org.provarules.reference2.messaging
org.provarules.reference2.operators

Uses of ProvaKnowledgeBase in org.provarules.agent2

Methods in org.provarules.agent2 that return ProvaKnowledgeBase

Modifier and Type	Method and Description
ProvaKnowledgeBase	ProvaReagentImpl.getKb()
ProvaKnowledgeBase	ProvaReagent.getKb()

Uses of ProvaKnowledgeBase in org.provarules.kernel2

Methods in org.provarules.kernel2 that return ProvaKnowledgeBase

Modifier and Type	Method and Description
ProvaKnowledgeBase	ProvaPredicate.getKnowledgeBase()

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

Modifier and Type	Method and Description
ProvaRule	ProvaUnification.generateQuery(java.lang.String symbol, ProvaKnowledgeBase kb, ProvaRule query, ProvaDerivationNode node)
ProvaUnification	ProvaRuleSet.nextMatch(ProvaKnowledgeBase kb, ProvaGoal goal)
ProvaUnification	ProvaGoal.nextUnification(ProvaKnowledgeBase kb)
boolean	ProvaRuleSet.removeAllClausesByMatch(ProvaKnowledgeBase kb, ProvaObject[] data)
boolean	ProvaRuleSet.removeClausesByMatch(ProvaKnowledgeBase kb, ProvaObject[] data)
void	ProvaPredicate.setKnowledgeBase(ProvaKnowledgeBase provaKnowledgeBaseImpl)

Uses of ProvaKnowledgeBase in org.provarules.parser2

Fields in org.provarules.parser2 with type parameters of type ProvaKnowledgeBase

Modifier and Type	Field and Description
static java.lang.ThreadLocal<ProvaKnowledgeBase>	ProvaParserImpl.tlKB

Methods in org.provarules.parser2 with parameters of type ProvaKnowledgeBase

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 ProvaKnowledgeBase in org.provarules.reference2

Classes in org.provarules.reference2 that implement ProvaKnowledgeBase

Modifier and Type	Class and Description
class	ProvaKnowledgeBaseImpl

Methods in org.provarules.reference2 that return ProvaKnowledgeBase

Modifier and Type	Method and Description
ProvaKnowledgeBase	ProvaResolutionInferenceEngineImpl.getKb()
ProvaKnowledgeBase	ProvaPredicateImpl.getKnowledgeBase()

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

Modifier and Type	Method and Description
ProvaRule	ProvaUnificationImpl.generateQuery(java.lang.String symbol, ProvaKnowledgeBase kb, ProvaRule query, ProvaDerivationNode node)
ProvaUnification	ProvaRuleSetImpl.nextMatch(ProvaKnowledgeBase kb, ProvaGoal goal)
ProvaUnification	ProvaGoalImpl.nextUnification(ProvaKnowledgeBase kb)
boolean	ProvaRuleSetImpl.removeAllClausesByMatch(ProvaKnowledgeBase kb, ProvaObject[] data) Remove only the clauses that are subsumed by the query.
boolean	ProvaRuleSetImpl.removeClausesByMatch(ProvaKnowledgeBase kb, ProvaObject[] data) Remove only the clause that is subsumed by the query.
void	ProvaResolutionInferenceEngineImpl.setKb(ProvaKnowledgeBase kb)
void	ProvaPredicateImpl.setKnowledgeBase(ProvaKnowledgeBase knowledgeBase)

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

Constructor and Description
ProvaPredicateImpl(java.lang.String symbol, int arity, ProvaKnowledgeBase kb)
ProvaResolutionInferenceEngineImpl(ProvaKnowledgeBase kb, ProvaRule query)

Uses of ProvaKnowledgeBase in org.provarules.reference2.builtins

Fields in org.provarules.reference2.builtins declared as ProvaKnowledgeBase

Modifier and Type	Field and Description
protected ProvaKnowledgeBase	ProvaBuiltinImpl.kb

Methods in org.provarules.reference2.builtins that return ProvaKnowledgeBase

Modifier and Type	Method and Description
ProvaKnowledgeBase	ProvaBuiltinImpl.getKnowledgeBase()

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

Modifier and Type	Method and Description
void	ProvaBuiltinImpl.setKnowledgeBase(ProvaKnowledgeBase kb)

Constructors in org.provarules.reference2.builtins with parameters of type ProvaKnowledgeBase

Constructor and Description
ProvaAddGroupResultImpl(ProvaKnowledgeBase kb)
ProvaAssertAImpl(ProvaKnowledgeBase kb)
ProvaAssertImpl(ProvaKnowledgeBase kb)
ProvaAtImpl(ProvaKnowledgeBase kb)
ProvaAttachImpl(ProvaKnowledgeBase kb)
ProvaBoundImpl(ProvaKnowledgeBase kb)
ProvaBuiltinImpl(ProvaKnowledgeBase kb, java.lang.String symbol)
ProvaByteStreamImpl(ProvaKnowledgeBase kb)
ProvaCacheImpl(ProvaKnowledgeBase kb)
ProvaCaptureEnumImpl(ProvaKnowledgeBase kb)
ProvaCloneImpl(ProvaKnowledgeBase kb)
ProvaConcatImpl(ProvaKnowledgeBase kb)
ProvaConstructorImpl(ProvaKnowledgeBase kb)
ProvaConsultImpl(ProvaKnowledgeBase kb)
ProvaCopyImpl(ProvaKnowledgeBase kb)
ProvaCopyStreamImpl(ProvaKnowledgeBase kb)
ProvaCutImpl(ProvaKnowledgeBase kb, java.lang.String symbol)
ProvaDeriveImpl(ProvaKnowledgeBase kb)
ProvaElementImpl(ProvaKnowledgeBase kb)
ProvaEqualsImpl(ProvaKnowledgeBase kb)
ProvaEqualsMinusImpl(ProvaKnowledgeBase kb)
ProvaExpressionLiteralImpl(ProvaKnowledgeBase kb)
ProvaFailImpl(ProvaKnowledgeBase kb)
ProvaFopenImpl(ProvaKnowledgeBase kb)
ProvaFreeImpl(ProvaKnowledgeBase kb)
ProvaGreaterEqualImpl(ProvaKnowledgeBase kb)
ProvaGreaterImpl(ProvaKnowledgeBase kb)
ProvaIamImpl(ProvaKnowledgeBase kb)
ProvaInitJoinImpl(ProvaKnowledgeBase kb)
ProvaInitPredicateJoinImpl(ProvaKnowledgeBase kb)
ProvaInsertImpl(ProvaKnowledgeBase kb)
ProvaJavaPredicateImpl(ProvaKnowledgeBase kb)
ProvaJoinTestImpl(ProvaKnowledgeBase kb)
ProvaLengthImpl(ProvaKnowledgeBase kb)
ProvaLessEqualImpl(ProvaKnowledgeBase kb)
ProvaLessImpl(ProvaKnowledgeBase kb)
ProvaListenImpl(ProvaKnowledgeBase kb)
ProvaMapMergeImpl(ProvaKnowledgeBase kb)
ProvaMatchImpl(ProvaKnowledgeBase kb)
ProvaMathAddImpl(ProvaKnowledgeBase kb)
ProvaMathDivideImpl(ProvaKnowledgeBase kb)
ProvaMathMultiplyImpl(ProvaKnowledgeBase kb)
ProvaMathRemainderImpl(ProvaKnowledgeBase kb)
ProvaMathSubtractImpl(ProvaKnowledgeBase kb)
ProvaMkListImpl(ProvaKnowledgeBase kb)
ProvaNotEqualsImpl(ProvaKnowledgeBase kb)
ProvaParseListImpl(ProvaKnowledgeBase kb)
ProvaParseNvImpl(ProvaKnowledgeBase kb)
ProvaPredicateJoinExitImpl(ProvaKnowledgeBase kb)
ProvaPredicateJoinTestImpl(ProvaKnowledgeBase kb)
ProvaPrintImpl(ProvaKnowledgeBase kb)
ProvaPrintlnImpl(ProvaKnowledgeBase kb)
ProvaReadEnumImpl(ProvaKnowledgeBase kb)
ProvaReceiveMsgImpl(ProvaKnowledgeBase kb)
ProvaReceiveMsgPImpl(ProvaKnowledgeBase kb)
ProvaReceiveMultImpl(ProvaKnowledgeBase kb)
ProvaRetractAllImpl(ProvaKnowledgeBase kb)
ProvaRetractImpl(ProvaKnowledgeBase kb)
ProvaReverseImpl(ProvaKnowledgeBase kb)
ProvaSendMsgImpl(ProvaKnowledgeBase kb)
ProvaSendMsgSyncImpl(ProvaKnowledgeBase kb)
ProvaSolveImpl(ProvaKnowledgeBase kb)
ProvaSparqlAskImpl(ProvaKnowledgeBase kb)
ProvaSparqlConnectImpl(ProvaKnowledgeBase kb)
ProvaSparqlDisconnectImpl(ProvaKnowledgeBase kb)
ProvaSparqlSelectImpl(ProvaKnowledgeBase kb)
ProvaSpawnImpl(ProvaKnowledgeBase kb)
ProvaStopPredicateJoinImpl(ProvaKnowledgeBase kb)
ProvaTemporalRuleRemoveImpl(ProvaKnowledgeBase kb)
ProvaTokenizeEnumImpl(ProvaKnowledgeBase kb)
ProvaTokenizeListImpl(ProvaKnowledgeBase kb)
ProvaTypeImpl(ProvaKnowledgeBase kb)
ProvaUnescapeImpl(ProvaKnowledgeBase kb)
ProvaUniqueIdImpl(ProvaKnowledgeBase kb)
ProvaUnlistenImpl(ProvaKnowledgeBase kb)
ProvaUpdateCacheImpl(ProvaKnowledgeBase kb)
ProvaUpdateImpl(ProvaKnowledgeBase kb)

Uses of ProvaKnowledgeBase in org.provarules.reference2.eventing

Methods in org.provarules.reference2.eventing with parameters of type ProvaKnowledgeBase

Modifier and Type	Method and Description
boolean	ProvaGroup.cleanup(ProvaKnowledgeBase kb, ProvaReagent prova, java.util.Map<java.lang.Long,ProvaGroup> ruleid2Group, java.util.Map<java.lang.String,ProvaGroup> dynamic2Group)
boolean	ProvaBasicGroupImpl.cleanup(ProvaKnowledgeBase kb, ProvaReagent prova, java.util.Map<java.lang.Long,ProvaGroup> ruleid2Group, java.util.Map<java.lang.String,ProvaGroup> dynamic2Group)
ProvaGroup.EventDetectionStatus	ProvaOrGroupImpl.eventDetected(ProvaKnowledgeBase kb, ProvaReagent prova, long ruleid, ProvaList reaction, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata, java.util.Map<java.lang.Long,ProvaGroup> ruleid2Group)
ProvaGroup.EventDetectionStatus	ProvaGroup.eventDetected(ProvaKnowledgeBase kb, ProvaReagent prova, long ruleid, ProvaList reaction, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata, java.util.Map<java.lang.Long,ProvaGroup> ruleid2Group)
ProvaGroup.EventDetectionStatus	ProvaBasicGroupImpl.eventDetected(ProvaKnowledgeBase kb, ProvaReagent prova, long key, ProvaList reaction, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata, java.util.Map<java.lang.Long,ProvaGroup> ruleid2Group)
ProvaGroup.EventDetectionStatus	ProvaAndGroupImpl.eventDetected(ProvaKnowledgeBase kb, ProvaReagent prova, long ruleid, ProvaList reaction, java.util.Map<java.lang.String,java.util.List<java.lang.Object>> metadata, java.util.Map<java.lang.Long,ProvaGroup> ruleid2Group)

Uses of ProvaKnowledgeBase in org.provarules.reference2.messaging

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

Constructor and Description
ProvaGenerateRuleImpl(ProvaKnowledgeBase kb, ProvaLiteral headControl, ProvaLiteral[] provaLiterals)
ProvaMessengerImpl(ProvaReagent prova, ProvaKnowledgeBase kb, java.lang.String agent, java.lang.String password, java.lang.String machine, ProvaAgent esb)
ProvaWorkflowsImpl(ProvaKnowledgeBase kb)

Uses of ProvaKnowledgeBase in org.provarules.reference2.operators

Methods in org.provarules.reference2.operators with parameters of type ProvaKnowledgeBase

Modifier and Type	Method and Description
boolean	ProvaBinaryOperator.evaluate(ProvaKnowledgeBase kb, java.util.List<ProvaLiteral> newLiterals, ProvaObject o1, ProvaComputable a2)
boolean	ProvaBinaryNotEqualsImpl.evaluate(ProvaKnowledgeBase kb, java.util.List<ProvaLiteral> newLiterals, ProvaObject o1, ProvaComputable a2)
boolean	ProvaBinaryLessThanImpl.evaluate(ProvaKnowledgeBase kb, java.util.List<ProvaLiteral> newLiterals, ProvaObject o1, ProvaComputable a2)
boolean	ProvaBinaryLessEqualImpl.evaluate(ProvaKnowledgeBase kb, java.util.List<ProvaLiteral> newLiterals, ProvaObject o1, ProvaComputable a2)
boolean	ProvaBinaryGreaterThanImpl.evaluate(ProvaKnowledgeBase kb, java.util.List<ProvaLiteral> newLiterals, ProvaObject o1, ProvaComputable a2)
boolean	ProvaBinaryGreaterEqualImpl.evaluate(ProvaKnowledgeBase kb, java.util.List<ProvaLiteral> newLiterals, ProvaObject o1, ProvaComputable a2)
boolean	ProvaBinaryEqualsImpl.evaluate(ProvaKnowledgeBase kb, java.util.List<ProvaLiteral> newLiterals, ProvaObject o1, ProvaComputable a2)