| Modifier and Type | Method and Description |
|---|---|
Set<InferenceRule> |
Atom.getApplicableRules() |
| Modifier and Type | Method and Description |
|---|---|
abstract boolean |
Atom.isRuleApplicable(InferenceRule child) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
TypeAtom.isRuleApplicable(InferenceRule child) |
boolean |
ResourceAtom.isRuleApplicable(InferenceRule child) |
boolean |
RelationAtom.isRuleApplicable(InferenceRule child) |
| Modifier and Type | Method and Description |
|---|---|
InferenceRule |
RuleExplanation.getRule() |
| Constructor and Description |
|---|
RuleExplanation(ReasonerQuery q,
InferenceRule rl) |
| Modifier and Type | Method and Description |
|---|---|
InferenceRule |
RuleTuple.getRule() |
InferenceRule |
InferenceRule.propagateConstraints(Atom parentAtom,
Unifier unifier) |
InferenceRule |
InferenceRule.rewriteToUserDefined(Atom parentAtom)
rewrite the rule to a form with user defined variables
|
| Constructor and Description |
|---|
InferenceRule(InferenceRule r) |
RuleTuple(InferenceRule rule,
Unifier u,
Unifier pu) |
Copyright © 2017 Grakn Labs Ltd. All rights reserved.