Package ai.grakn.graql.internal.reasoner.state

Class Summary

Class	Description
AnswerState	Resolution state holding an answer (Answer) to the parent state.
AtomicState	Query state corresponding to an atomic query (ReasonerAtomicQuery) in the resolution tree.
AtomicStateProducer	State producing AtomicStates: - typed AtomicStates if type inference is required - AtomicState for non-negated non-ambiguous ReasonerAtomicQuery - NeqComplementState for non-ambiguous ReasonerAtomicQuery with negation
ConjunctiveState	Query state corresponding to a conjunctive query (ReasonerQueryImpl) in the resolution tree.
CumulativeState	Query state corresponding to a an intermediate state obtained from decomposing a conjunctive query (ReasonerQueryImpl) in the resolution tree.
NeqComplementState	Query state corresponding to an atomic query (ReasonerAtomicQuery) with neq predicates (NeqPredicate).
QueryState<Q extends ReasonerQueryImpl>	Specialised class for resolution states corresponding to different forms of queries.
QueryStateBase	Base abstract class for resolution states corresponding to different forms of queries.
ResolutionState	Base abstract class for resolution states.
RuleState	Resolution state corresponding to a rule application.