ai.grakn.graql.internal.reasoner.state

Class AtomicStateProducer

java.lang.Object

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

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

ai.grakn.graql.internal.reasoner.state.AtomicStateProducer

public class AtomicStateProducer
extends QueryStateBase

State producing AtomicStates: - typed AtomicStates if type inference is required - AtomicState for non-negated non-ambiguous ReasonerAtomicQuery - NeqComplementState for non-ambiguous ReasonerAtomicQuery with negation

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
AtomicStateProducer(ReasonerAtomicQuery query, Answer sub, Unifier u, QueryStateBase 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.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

AtomicStateProducer

public AtomicStateProducer(ReasonerAtomicQuery query,
                           Answer sub,
                           Unifier u,
                           QueryStateBase 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