ai.grakn.graql.internal.reasoner.state

Class QueryState<Q extends ReasonerQueryImpl>

java.lang.Object

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

ai.grakn.graql.internal.reasoner.state.QueryStateBase

ai.grakn.graql.internal.reasoner.state.QueryState<Q>

Type Parameters:

Q - the type of query that this state is corresponding to

Direct Known Subclasses:

AtomicState, ConjunctiveState

public abstract class QueryState<Q extends ReasonerQueryImpl>
extends QueryStateBase

Specialised class for resolution states corresponding to different forms of queries.

Author:

Kasper Piskorski

Method Summary

Modifier and Type	Method and Description
ResolutionState	generateSubGoal()

Methods inherited from class ai.grakn.graql.internal.reasoner.state.QueryStateBase

getUnifier

Methods inherited from class ai.grakn.graql.internal.reasoner.state.ResolutionState

getSubstitution, isAnswerState, isTopState

Methods inherited from class java.lang.Object

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

Method Detail

generateSubGoal

public ResolutionState generateSubGoal()

Specified by:

generateSubGoal in class ResolutionState

Returns:

new sub goal generated from this state