ai.grakn.graql.internal.reasoner.state

Class CumulativeState

java.lang.Object

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

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

ai.grakn.graql.internal.reasoner.state.CumulativeState

public class CumulativeState
extends QueryStateBase

Query state corresponding to a an intermediate state obtained from decomposing a conjunctive query (ReasonerQueryImpl) in the resolution tree.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
CumulativeState(List<ReasonerQueryImpl> qs, ConceptMap sub, Unifier u, QueryStateBase parent, Set<ReasonerAtomicQuery> subGoals, SimpleQueryCache<ReasonerAtomicQuery> cache)

Method Summary

Modifier and Type	Method and Description
ResolutionState	generateSubGoal()
ResolutionState	propagateAnswer(AnswerState state) propagates the answer state up the tree and acknowledges (caches) its substitution
String	toString()

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, wait, wait, wait

Constructor Detail

CumulativeState

public CumulativeState(List<ReasonerQueryImpl> qs,
                       ConceptMap sub,
                       Unifier u,
                       QueryStateBase parent,
                       Set<ReasonerAtomicQuery> subGoals,
                       SimpleQueryCache<ReasonerAtomicQuery> cache)

Method Detail

toString

public String toString()

Overrides:

toString in class ResolutionState

propagateAnswer

public ResolutionState propagateAnswer(AnswerState state)

Description copied from class: QueryStateBase

propagates the answer state up the tree and acknowledges (caches) its substitution

Parameters:

state - to propagate

Returns:

new resolution state obtained by propagating the answer up the resolution tree

generateSubGoal

public ResolutionState generateSubGoal()

Specified by:

generateSubGoal in class ResolutionState

Returns:

new sub goal generated from this state