ai.grakn.graql.internal.reasoner.explanation

Class RuleExplanation

java.lang.Object

ai.grakn.graql.internal.reasoner.explanation.Explanation

ai.grakn.graql.internal.reasoner.explanation.RuleExplanation

All Implemented Interfaces:

AnswerExplanation

public class RuleExplanation
extends Explanation

Explanation class for rule application.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
RuleExplanation(ReasonerQuery q, InferenceRule rl)

Method Summary

Modifier and Type	Method and Description
AnswerExplanation	childOf(Answer ans)
InferenceRule	getRule()
boolean	isRuleExplanation()
AnswerExplanation	setQuery(ReasonerQuery q)

Methods inherited from class ai.grakn.graql.internal.reasoner.explanation.Explanation

getAnswers, getQuery, isEmpty, isJoinExplanation, isLookupExplanation

Methods inherited from class java.lang.Object

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

Constructor Detail

RuleExplanation

public RuleExplanation(ReasonerQuery q,
                       InferenceRule rl)

Method Detail

setQuery

public AnswerExplanation setQuery(ReasonerQuery q)

Specified by:

setQuery in interface AnswerExplanation

Overrides:

setQuery in class Explanation

childOf

public AnswerExplanation childOf(Answer ans)

Specified by:

childOf in interface AnswerExplanation

Overrides:

childOf in class Explanation

isRuleExplanation

public boolean isRuleExplanation()

Specified by:

isRuleExplanation in interface AnswerExplanation

Overrides:

isRuleExplanation in class Explanation

getRule

public InferenceRule getRule()