| Package | Description |
|---|---|
| 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 |
ConjunctiveState
Query state corresponding to a conjunctive query (
ReasonerQueryImpl) in the resolution tree. |
class |
NeqComplementState
Query state corresponding to an atomic query (
ReasonerAtomicQuery) with neq predicates (NeqPredicate). |
class |
QueryState
Base abstract class for resolution states corresponding to different forms of queries.
|
| Modifier and Type | Method and Description |
|---|---|
abstract ResolutionState |
ResolutionState.generateSubGoal() |
ResolutionState |
NeqComplementState.generateSubGoal() |
ResolutionState |
ConjunctiveState.generateSubGoal() |
ResolutionState |
AtomicState.generateSubGoal() |
ResolutionState |
NeqComplementState.propagateAnswer(ai.grakn.graql.internal.reasoner.state.AnswerState state) |
Copyright © 2017 Grakn Labs Ltd. All rights reserved.