ai.grakn.graql.internal.reasoner.rule

Class InferenceRule

java.lang.Object

ai.grakn.graql.internal.reasoner.rule.InferenceRule

public class InferenceRule
extends Object

Constructor Summary

Constructors

Constructor and Description
InferenceRule(Rule rule, GraknGraph graph)

Method Summary

Modifier and Type	Method and Description
Query	getBody()
AtomicQuery	getHead()
Atom	getRuleConclusionAtom()
void	unify(Atom parentAtom) make child query consistent by performing variable IdPredicate so that parent variables are propagated

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InferenceRule

public InferenceRule(Rule rule,
                     GraknGraph graph)

Method Detail

getBody

public Query getBody()

getHead

public AtomicQuery getHead()

getRuleConclusionAtom

public Atom getRuleConclusionAtom()

Returns:

a conclusion atom which parent contains all atoms in the rule

unify

public void unify(Atom parentAtom)

make child query consistent by performing variable IdPredicate so that parent variables are propagated

Parameters:

parentAtom - parent atom (atom) being resolved (subgoal)