| Constructor and Description |
|---|
InferenceRule(InferenceRule r) |
InferenceRule(Rule rule,
GraknGraph graph) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object obj) |
ReasonerQueryImpl |
getBody() |
ReasonerAtomicQuery |
getHead() |
Atom |
getRuleConclusionAtom() |
ConceptId |
getRuleId() |
Unifier |
getUnifier(Atom parentAtom) |
boolean |
hasDisconnectedHead() |
int |
hashCode() |
InferenceRule |
propagateConstraints(Atom parentAtom,
Unifier unifier) |
boolean |
requiresMaterialisation(Atom parentAtom)
rule requires materialisation in the context of resolving parentatom
if parent atom requires materialisation, head atom requires materialisation or if the head contains only fresh variables
|
int |
resolutionPriority() |
InferenceRule |
rewriteToUserDefined(Atom parentAtom)
rewrite the rule to a form with user defined variables
|
String |
toString() |
public InferenceRule(Rule rule, GraknGraph graph)
public InferenceRule(InferenceRule r)
public int resolutionPriority()
public ConceptId getRuleId()
public boolean hasDisconnectedHead()
public boolean requiresMaterialisation(Atom parentAtom)
public ReasonerQueryImpl getBody()
public ReasonerAtomicQuery getHead()
public Atom getRuleConclusionAtom()
public InferenceRule propagateConstraints(Atom parentAtom, Unifier unifier)
parentAtom - atom containing constraints (parent)unifier - unifier unifying parent with the rulepublic InferenceRule rewriteToUserDefined(Atom parentAtom)
parentAtom - reference parent atomCopyright © 2017 Grakn Labs Ltd. All rights reserved.