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

Packages that use ResolutionState

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

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

Methods in ai.grakn.graql.internal.reasoner.query that return ResolutionState

Modifier and Type	Method and Description
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)

Methods in ai.grakn.graql.internal.reasoner.query that return types with arguments of type ResolutionState

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)
java.util.stream.Stream<ResolutionState>	ReasonerQueryImpl.subGoals(Answer sub, Unifier u, QueryStateBase parent, Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)

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

Methods in ai.grakn.graql.internal.reasoner.rule that return ResolutionState

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

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

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

Modifier and Type	Class and Description
class	AnswerState Resolution state holding an answer (Answer) to the parent state.
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	QueryStateBase Base abstract class for resolution states corresponding to different forms of queries.
class	RuleState Resolution state corresponding to a rule application.

Methods in ai.grakn.graql.internal.reasoner.state that return ResolutionState

Modifier and Type	Method and Description
ResolutionState	NeqComplementState.generateSubGoal()
ResolutionState	CumulativeState.generateSubGoal()
ResolutionState	QueryState.generateSubGoal()
ResolutionState	AnswerState.generateSubGoal()
abstract ResolutionState	ResolutionState.generateSubGoal()
ResolutionState	RuleState.generateSubGoal()
ResolutionState	AtomicStateProducer.generateSubGoal()
ResolutionState	NeqComplementState.propagateAnswer(AnswerState state)
ResolutionState	CumulativeState.propagateAnswer(AnswerState state)