ai.grakn.graql.internal.reasoner.state

Class ResolutionState

java.lang.Object

ai.grakn.graql.internal.reasoner.state.ResolutionState

Direct Known Subclasses:

QueryState

public abstract class ResolutionState
extends Object

Base abstract class for resolution states.

Author:

Kasper Piskorski

Method Summary

Modifier and Type	Method and Description
abstract ResolutionState	generateSubGoal()
Answer	getSubstitution()
boolean	isAnswerState()
boolean	isTopState()

Methods inherited from class java.lang.Object

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

Method Detail

generateSubGoal

public abstract ResolutionState generateSubGoal()

Returns:

new sub goal generated from this state

getSubstitution

public Answer getSubstitution()

Returns:

substitution this state has

isAnswerState

public boolean isAnswerState()

Returns:

true if this resolution state is an answer state

isTopState

public boolean isTopState()

Returns:

true if this state is a top resolution state