| Modifier and Type | Method and Description |
|---|---|
LinkedList<ReasonerQueryImpl> |
ResolutionPlan.localQueryPlan()
compute the local query resolution plan - list of queries ordered by their resolution priority
|
LinkedList<ReasonerQueryImpl> |
ResolutionPlan.queryPlan()
compute the query resolution plan - list of queries ordered by their cost as computed by the graql traversal planner
|
| Constructor and Description |
|---|
ResolutionIterator(ReasonerQueryImpl q) |
ResolutionPlan(ReasonerQueryImpl query) |
| Modifier and Type | Class and Description |
|---|---|
class |
Cache<Q extends ReasonerQueryImpl,T extends Iterable<Answer>>
Generic container class for storing performed query resolutions.
|
class |
LazyQueryCache<Q extends ReasonerQueryImpl>
Lazy container class for storing performed query resolutions.
|
class |
QueryCache<Q extends ReasonerQueryImpl>
Container class for storing performed query resolutions.
|
| Constructor and Description |
|---|
JoinExplanation(ReasonerQueryImpl q,
Answer mergedAnswer) |
| Modifier and Type | Class and Description |
|---|---|
class |
ReasonerAtomicQuery
Base reasoner atomic query.
|
| Modifier and Type | Method and Description |
|---|---|
static ReasonerQueryImpl |
ReasonerQueries.create(Conjunction<VarPatternAdmin> pattern,
GraknTx tx)
create a reasoner query from a conjunctive pattern with types inferred
|
static ReasonerQueryImpl |
ReasonerQueries.create(List<Atom> as,
GraknTx 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)
create a reasoner query copy from the provided query with the types inferred
|
static ReasonerQueryImpl |
ReasonerQueries.create(ReasonerQueryImpl q,
Answer sub)
create a reasoner query by combining an existing query and a substitution
|
static ReasonerQueryImpl |
ReasonerQueries.create(Set<Atomic> as,
GraknTx tx)
create a reasoner query from provided set of atomics
|
ReasonerQueryImpl |
ReasonerQueryImpl.inferTypes() |
ReasonerQueryImpl |
ReasonerQueryImpl.positive() |
| Modifier and Type | Method and Description |
|---|---|
protected java.util.stream.Stream<ReasonerQueryImpl> |
ReasonerAtomicQuery.getQueryStream(Answer sub) |
| Modifier and Type | Method and Description |
|---|---|
static ReasonerQueryImpl |
ReasonerQueries.create(ReasonerQueryImpl q)
create a reasoner query copy from the provided query with the types inferred
|
static ReasonerQueryImpl |
ReasonerQueries.create(ReasonerQueryImpl q,
Answer sub)
create a reasoner query by combining an existing query and a substitution
|
boolean |
ReasonerQueryImpl.isEquivalent(ReasonerQueryImpl q) |
| Modifier and Type | Method and Description |
|---|---|
ReasonerQueryImpl |
InferenceRule.getBody() |
| Modifier and Type | Method and Description |
|---|---|
static Set<InferenceRule> |
RuleUtils.getDependentRules(ReasonerQueryImpl query) |
| Constructor and Description |
|---|
ConjunctiveState(ReasonerQueryImpl q,
Answer sub,
Unifier u,
QueryState parent,
Set<ReasonerAtomicQuery> subGoals,
QueryCache<ReasonerAtomicQuery> cache) |
Copyright © 2017 Grakn Labs Ltd. All rights reserved.