ai.grakn.graql.internal.reasoner.state

Class AtomicState

java.lang.Object

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

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

ai.grakn.graql.internal.reasoner.state.AtomicState

Direct Known Subclasses:

NeqComplementState

public class AtomicState
extends QueryState

Query state corresponding to an atomic query (ReasonerAtomicQuery) in the resolution tree.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
AtomicState(ReasonerAtomicQuery 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

AtomicState

public AtomicState(ReasonerAtomicQuery 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