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(LinkedList<ReasonerQueryImpl> qs, Answer sub, Unifier u, QueryStateBase parent, Set<ReasonerAtomicQuery> subGoals, QueryCache<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

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

Constructor Detail

CumulativeState

public CumulativeState(LinkedList<ReasonerQueryImpl> qs,
                       Answer sub,
                       Unifier u,
                       QueryStateBase parent,
                       Set<ReasonerAtomicQuery> subGoals,
                       QueryCache<ReasonerAtomicQuery> cache)

Method Detail

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