| Package | Description |
|---|---|
| ai.grakn.graql.internal.reasoner.query | |
| ai.grakn.graql.internal.reasoner.rule | |
| ai.grakn.graql.internal.reasoner.state |
| Modifier and Type | Method and Description |
|---|---|
static ReasonerAtomicQuery |
ReasonerQueries.atomic(Atom atom)
create an atomic query from the provided atom
NB: atom constraints (types and predicates, if any) will be included in the query
|
static ReasonerAtomicQuery |
ReasonerQueries.atomic(Conjunction<VarPatternAdmin> pattern,
GraknTx tx) |
static ReasonerAtomicQuery |
ReasonerQueries.atomic(ReasonerAtomicQuery q)
create an atomic query copy from the provided query with the types inferred
|
static ReasonerAtomicQuery |
ReasonerQueries.atomic(ReasonerAtomicQuery q,
Answer sub)
create an atomic query by combining an existing atomic query and a substitution
|
ReasonerAtomicQuery |
ReasonerAtomicQuery.inferTypes() |
ReasonerAtomicQuery |
ReasonerAtomicQuery.positive() |
| Modifier and Type | Method and Description |
|---|---|
static ReasonerAtomicQuery |
ReasonerQueries.atomic(ReasonerAtomicQuery q)
create an atomic query copy from the provided query with the types inferred
|
static ReasonerAtomicQuery |
ReasonerQueries.atomic(ReasonerAtomicQuery q,
Answer sub)
create an atomic query by combining an existing atomic query and a substitution
|
| Modifier and Type | Method and Description |
|---|---|
ReasonerAtomicQuery |
InferenceRule.getHead() |
| Constructor and Description |
|---|
AtomicState(ReasonerAtomicQuery q,
Answer sub,
Unifier u,
QueryState parent,
Set<ReasonerAtomicQuery> subGoals,
QueryCache<ReasonerAtomicQuery> cache) |
NeqComplementState(ReasonerAtomicQuery q,
Answer sub,
Unifier u,
QueryState parent,
Set<ReasonerAtomicQuery> subGoals,
QueryCache<ReasonerAtomicQuery> cache) |
Copyright © 2017 Grakn Labs Ltd. All rights reserved.