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)
RuleExplanation(RuleExplanation exp)

Method Summary

Modifier and Type	Method and Description
AnswerExplanation	copy()
InferenceRule	getRule()
boolean	isRuleExplanation()
AnswerExplanation	setQuery(ReasonerQuery q)

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

addAnswer, getAnswers, getQuery, isEmpty, isJoinExplanation, isLookupExplanation, merge

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)

RuleExplanation

public RuleExplanation(RuleExplanation exp)

Method Detail

copy

public AnswerExplanation copy()

Specified by:

copy in interface AnswerExplanation

Overrides:

copy in class Explanation

isRuleExplanation

public boolean isRuleExplanation()

Specified by:

isRuleExplanation in interface AnswerExplanation

Overrides:

isRuleExplanation in class Explanation

setQuery

public AnswerExplanation setQuery(ReasonerQuery q)

Specified by:

setQuery in interface AnswerExplanation

Overrides:

setQuery in class Explanation

getRule

public InferenceRule getRule()