Uses of Class
ai.grakn.graql.internal.reasoner.query.ReasonerQueryImpl

Packages that use ReasonerQueryImpl

Package	Description
ai.grakn.graql.internal.reasoner
ai.grakn.graql.internal.reasoner.cache
ai.grakn.graql.internal.reasoner.explanation
ai.grakn.graql.internal.reasoner.plan
ai.grakn.graql.internal.reasoner.query
ai.grakn.graql.internal.reasoner.rule
ai.grakn.graql.internal.reasoner.state

Uses of ReasonerQueryImpl in ai.grakn.graql.internal.reasoner

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

Constructor and Description
ResolutionIterator(ReasonerQueryImpl q)

Uses of ReasonerQueryImpl in ai.grakn.graql.internal.reasoner.cache

Classes in ai.grakn.graql.internal.reasoner.cache with type parameters of type ReasonerQueryImpl

Modifier and Type	Class and Description
class	LazyQueryCache<Q extends ReasonerQueryImpl> Lazy container class for storing performed query resolutions.
interface	QueryCache<Q extends ReasonerQueryImpl,S extends Iterable<ConceptMap>> Generic interface query caches.
class	QueryCacheBase<Q extends ReasonerQueryImpl,S extends Iterable<ConceptMap>> Base class for storing query resolutions based on alpha-equivalence.
class	SimpleQueryCache<Q extends ReasonerQueryImpl> Container class for storing performed query resolutions.

Uses of ReasonerQueryImpl in ai.grakn.graql.internal.reasoner.explanation

Constructors in ai.grakn.graql.internal.reasoner.explanation with parameters of type ReasonerQueryImpl

Constructor and Description
JoinExplanation(ReasonerQueryImpl q, ConceptMap mergedAnswer)

Uses of ReasonerQueryImpl in ai.grakn.graql.internal.reasoner.plan

Classes in ai.grakn.graql.internal.reasoner.plan with type parameters of type ReasonerQueryImpl

Modifier and Type	Class and Description
class	QueryCollection<T extends Collection<ReasonerQueryImpl>,W extends Collection<com.google.common.base.Equivalence.Wrapper<ReasonerQueryImpl>>> Helper class for collections of ReasonerQueryImpl queries with equality comparison ReasonerQueryEquivalence.
class	QueryCollection<T extends Collection<ReasonerQueryImpl>,W extends Collection<com.google.common.base.Equivalence.Wrapper<ReasonerQueryImpl>>> Helper class for collections of ReasonerQueryImpl queries with equality comparison ReasonerQueryEquivalence.

Methods in ai.grakn.graql.internal.reasoner.plan that return types with arguments of type ReasonerQueryImpl

Modifier and Type	Method and Description
List<ReasonerQueryImpl>	ResolutionQueryPlan.queries()
java.util.stream.Stream<ReasonerQueryImpl>	QueryCollection.stream()
abstract java.util.stream.Stream<ReasonerQueryImpl>	QueryCollectionBase.stream()
java.util.stream.Stream<com.google.common.base.Equivalence.Wrapper<ReasonerQueryImpl>>	QueryCollection.wrappedStream()
abstract java.util.stream.Stream<com.google.common.base.Equivalence.Wrapper<ReasonerQueryImpl>>	QueryCollectionBase.wrappedStream()

Methods in ai.grakn.graql.internal.reasoner.plan with parameters of type ReasonerQueryImpl

Modifier and Type	Method and Description
boolean	QueryCollection.add(ReasonerQueryImpl q)
boolean	QueryCollection.contains(ReasonerQueryImpl q)
QuerySet	QueryCollectionBase.getCandidates(ReasonerQueryImpl entryQuery, ai.grakn.graql.internal.reasoner.plan.QueryList plan)
boolean	QueryCollectionBase.isQueryDisconnected(ReasonerQueryImpl query)
static com.google.common.collect.ImmutableList<Atom>	GraqlTraversalPlanner.plan(ReasonerQueryImpl query) Refined plan procedure: - establish a list of starting atom candidates based on their substitutions - create a plan using GreedyTraversalPlan - if the graql plan picks an atom that is not a candidate - pick an optimal candidate - call the procedure on atoms with removed candidate - otherwise return

Method parameters in ai.grakn.graql.internal.reasoner.plan with type arguments of type ReasonerQueryImpl

Modifier and Type	Method and Description
boolean	QueryCollection.add(com.google.common.base.Equivalence.Wrapper<ReasonerQueryImpl> q)
boolean	QueryCollection.contains(com.google.common.base.Equivalence.Wrapper<ReasonerQueryImpl> q)
static QuerySet	QuerySet.create(Collection<com.google.common.base.Equivalence.Wrapper<ReasonerQueryImpl>> queries)

Constructors in ai.grakn.graql.internal.reasoner.plan with parameters of type ReasonerQueryImpl

Constructor and Description
ResolutionPlan(ReasonerQueryImpl q)
ResolutionQueryPlan(ReasonerQueryImpl query)

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

Subclasses of ReasonerQueryImpl in ai.grakn.graql.internal.reasoner.query

Modifier and Type	Class and Description
class	ReasonerAtomicQuery Base reasoner atomic query.

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

Modifier and Type	Method and Description
static ReasonerQueryImpl	ReasonerQueries.create(Conjunction<VarPatternAdmin> pattern, EmbeddedGraknTx<?> tx) create a reasoner query from a conjunctive pattern with types inferred
static ReasonerQueryImpl	ReasonerQueries.create(List<Atom> as, EmbeddedGraknTx<?> tx) create a reasoner query from provided list of atoms NB: atom constraints (types and predicates, if any) will be included in the query
static ReasonerQueryImpl	ReasonerQueries.create(ReasonerQueryImpl q, ConceptMap sub) create a reasoner query by combining an existing query and a substitution
static ReasonerQueryImpl	ReasonerQueries.create(Set<Atomic> as, EmbeddedGraknTx<?> tx) create a reasoner query from provided set of atomics
ReasonerQueryImpl	ReasonerQueryImpl.inferTypes()
ReasonerQueryImpl	ReasonerQueryImpl.positive()
ReasonerQueryImpl	ReasonerQueryImpl.rewrite()
ReasonerQueryImpl	ReasonerQueryImpl.transformIds(Map<Var,ConceptId> transform)
ReasonerQueryImpl	ReasonerQueryImpl.withSubstitution(ConceptMap sub)

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

Modifier and Type	Method and Description
protected java.util.stream.Stream<ReasonerQueryImpl>	ReasonerAtomicQuery.getQueryStream(ConceptMap sub)

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

Modifier and Type	Method and Description
static ReasonerQueryImpl	ReasonerQueries.create(ReasonerQueryImpl q, ConceptMap sub) create a reasoner query by combining an existing query and a substitution
Map<Var,ConceptId>	ReasonerQueryImpl.idTransform(ReasonerQueryImpl query, Unifier unifier) returns id transform that would convert this query to a query alpha-equivalent to the query, provided they are structurally equivalent
boolean	ReasonerQueryImpl.isEquivalent(ReasonerQueryImpl q)

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

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

Modifier and Type	Method and Description
ReasonerQueryImpl	InferenceRule.getBody()

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

Modifier and Type	Method and Description
static Set<InferenceRule>	RuleUtils.getDependentRules(ReasonerQueryImpl query)

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

Classes in ai.grakn.graql.internal.reasoner.state with type parameters of type ReasonerQueryImpl

Modifier and Type	Class and Description
class	QueryState<Q extends ReasonerQueryImpl> Specialised class for resolution states corresponding to different forms of queries.

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

Constructor and Description
ConjunctiveState(ReasonerQueryImpl q, ConceptMap sub, Unifier u, QueryStateBase parent, Set<ReasonerAtomicQuery> visitedSubGoals, SimpleQueryCache<ReasonerAtomicQuery> cache)

Constructor parameters in ai.grakn.graql.internal.reasoner.state with type arguments of type ReasonerQueryImpl

Constructor and Description
CumulativeState(List<ReasonerQueryImpl> qs, ConceptMap sub, Unifier u, QueryStateBase parent, Set<ReasonerAtomicQuery> subGoals, SimpleQueryCache<ReasonerAtomicQuery> cache)