ai.grakn.graql.internal.reasoner.state

Class ConjunctiveState

java.lang.Object

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

ai.grakn.graql.internal.reasoner.state.QueryState

ai.grakn.graql.internal.reasoner.state.ConjunctiveState

public class ConjunctiveState
extends QueryState

Query state corresponding to a conjunctive query (ReasonerQueryImpl) in the resolution tree.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
ConjunctiveState(ReasonerQueryImpl q, Answer sub, Unifier u, QueryState parent, Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)

Method Summary

Modifier and Type	Method and Description
ResolutionState	generateSubGoal()

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

Constructor Detail

ConjunctiveState

public ConjunctiveState(ReasonerQueryImpl q,
                        Answer sub,
                        Unifier u,
                        QueryState parent,
                        Set<ReasonerAtomicQuery> subGoals,
                        QueryCache<ReasonerAtomicQuery> cache)

Method Detail

generateSubGoal

public ResolutionState generateSubGoal()

Specified by:

generateSubGoal in class ResolutionState

Returns:

new sub goal generated from this state