| Modifier and Type | Method and Description |
|---|---|
ProvaKnowledgeBase |
ProvaReagentImpl.getKb() |
ProvaKnowledgeBase |
ProvaReagent.getKb() |
| Modifier and Type | Method and Description |
|---|---|
ProvaKnowledgeBase |
ProvaPredicate.getKnowledgeBase() |
| 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) |
| Modifier and Type | Field and Description |
|---|---|
static java.lang.ThreadLocal<ProvaKnowledgeBase> |
ProvaParserImpl.tlKB |
| 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) |
| Modifier and Type | Class and Description |
|---|---|
class |
ProvaKnowledgeBaseImpl |
| Modifier and Type | Method and Description |
|---|---|
ProvaKnowledgeBase |
ProvaResolutionInferenceEngineImpl.getKb() |
ProvaKnowledgeBase |
ProvaPredicateImpl.getKnowledgeBase() |
| 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) |
| Constructor and Description |
|---|
ProvaPredicateImpl(java.lang.String symbol,
int arity,
ProvaKnowledgeBase kb) |
ProvaResolutionInferenceEngineImpl(ProvaKnowledgeBase kb,
ProvaRule query) |
| Modifier and Type | Field and Description |
|---|---|
protected ProvaKnowledgeBase |
ProvaBuiltinImpl.kb |
| Modifier and Type | Method and Description |
|---|---|
ProvaKnowledgeBase |
ProvaBuiltinImpl.getKnowledgeBase() |
| Modifier and Type | Method and Description |
|---|---|
void |
ProvaBuiltinImpl.setKnowledgeBase(ProvaKnowledgeBase kb) |
| 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) |
| 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) |
| 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) |
Copyright © 2019. All Rights Reserved.