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

Method Summary

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

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

addAnswer, getAnswers, isEmpty, isJoinExplanation, isLookupExplanation, merge, setQuery

Methods inherited from class java.lang.Object

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

Constructor Detail

RuleExplanation

public RuleExplanation(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

Returns:

true if this explanation explains the answer on the basis of rule application

getQuery

public ReasonerQuery getQuery()

Specified by:

getQuery in interface AnswerExplanation

Overrides:

getQuery in class Explanation

Returns:

query associated with this explanation

getRule

public InferenceRule getRule()