Uses of Class
ai.grakn.graql.internal.reasoner.state.QueryStateBase

Packages that use QueryStateBase

Package	Description
ai.grakn.graql.internal.reasoner.query
ai.grakn.graql.internal.reasoner.rule
ai.grakn.graql.internal.reasoner.state

Uses of QueryStateBase in ai.grakn.graql.internal.reasoner.query

Methods in ai.grakn.graql.internal.reasoner.query with parameters of type QueryStateBase

Modifier and Type	Method and Description
Pair<Iterator<ResolutionState>,MultiUnifier>	ReasonerQueryImpl.queryStateIterator(QueryStateBase parent, Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)
Pair<Iterator<ResolutionState>,MultiUnifier>	ReasonerAtomicQuery.queryStateIterator(QueryStateBase parent, Set<ReasonerAtomicQuery> visitedSubGoals, QueryCache<ReasonerAtomicQuery> cache)
ResolutionState	ReasonerQueryImpl.subGoal(Answer sub, Unifier u, QueryStateBase parent, Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)
ResolutionState	ReasonerAtomicQuery.subGoal(Answer sub, Unifier u, QueryStateBase parent, Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)
java.util.stream.Stream<ResolutionState>	ReasonerQueryImpl.subGoals(Answer sub, Unifier u, QueryStateBase parent, Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)

Uses of QueryStateBase in ai.grakn.graql.internal.reasoner.rule

Methods in ai.grakn.graql.internal.reasoner.rule with parameters of type QueryStateBase

Modifier and Type	Method and Description
ResolutionState	InferenceRule.subGoal(Atom parentAtom, Unifier ruleUnifier, QueryStateBase parent, Set<ReasonerAtomicQuery> visitedSubGoals, QueryCache<ReasonerAtomicQuery> cache)

Uses of QueryStateBase in ai.grakn.graql.internal.reasoner.state

Subclasses of QueryStateBase in ai.grakn.graql.internal.reasoner.state

Modifier and Type	Class and Description
class	AtomicState Query state corresponding to an atomic query (ReasonerAtomicQuery) in the resolution tree.
class	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
class	ConjunctiveState Query state corresponding to a conjunctive query (ReasonerQueryImpl) in the resolution tree.
class	CumulativeState Query state corresponding to a an intermediate state obtained from decomposing a conjunctive query (ReasonerQueryImpl) in the resolution tree.
class	NeqComplementState Query state corresponding to an atomic query (ReasonerAtomicQuery) with neq predicates (NeqPredicate).
class	QueryState<Q extends ReasonerQueryImpl> Specialised class for resolution states corresponding to different forms of queries.
class	RuleState Resolution state corresponding to a rule application.

Constructors in ai.grakn.graql.internal.reasoner.state with parameters of type QueryStateBase

Constructor and Description
AnswerState(Answer sub, Unifier u, QueryStateBase parent)
AtomicState(ReasonerAtomicQuery q, Answer sub, Unifier u, QueryStateBase parent, Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)
AtomicStateProducer(ReasonerAtomicQuery query, Answer sub, Unifier u, QueryStateBase parent, Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)
ConjunctiveState(ReasonerQueryImpl q, Answer sub, Unifier u, QueryStateBase parent, Set<ReasonerAtomicQuery> visitedSubGoals, QueryCache<ReasonerAtomicQuery> cache)
CumulativeState(LinkedList<ReasonerQueryImpl> qs, Answer sub, Unifier u, QueryStateBase parent, Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)
NeqComplementState(ReasonerAtomicQuery q, Answer sub, Unifier u, QueryStateBase parent, Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)
RuleState(InferenceRule rule, Answer sub, Unifier unifier, QueryStateBase parent, Set<ReasonerAtomicQuery> visitedSubGoals, QueryCache<ReasonerAtomicQuery> cache)