| Package | Description |
|---|---|
| ai.grakn.graql.admin |
A collection of interfaces offering more behaviour on Graql objects.
|
| ai.grakn.graql.internal.hal | |
| ai.grakn.graql.internal.query.match | |
| ai.grakn.graql.internal.reasoner.atom | |
| ai.grakn.graql.internal.reasoner.cache | |
| ai.grakn.graql.internal.reasoner.explanation | |
| ai.grakn.graql.internal.reasoner.iterator | |
| ai.grakn.graql.internal.reasoner.query |
| Modifier and Type | Method and Description |
|---|---|
Answer |
Answer.copy() |
Answer |
Answer.explain(AnswerExplanation exp)
explain this answer by providing explanation with preserving the structure of dependent answers
|
Answer |
Answer.filterVars(Set<VarName> vars) |
Answer |
Answer.merge(Answer a2)
perform an answer merge without explanation
NB:assumes answers are compatible (concept corresponding to join vars if any are the same)
|
Answer |
Answer.merge(Answer a2,
boolean explanation)
perform an answer merge with optional explanation
NB:assumes answers are compatible (concept corresponding to join vars if any are the same)
|
Answer |
Answer.setExplanation(AnswerExplanation e) |
Answer |
Answer.unify(Unifier unifier) |
| Modifier and Type | Method and Description |
|---|---|
Set<Answer> |
AnswerExplanation.getAnswers() |
Set<Answer> |
Answer.getAnswers() |
Set<Answer> |
Answer.getExplicitPath() |
java.util.stream.Stream<Answer> |
ReasonerQuery.resolve(boolean materialise,
boolean explanation)
resolves the query
|
java.util.stream.Stream<Answer> |
MatchQueryAdmin.streamWithAnswers()
Get a stream of answers.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
AnswerExplanation.addAnswer(Answer a) |
Answer |
Answer.merge(Answer a2)
perform an answer merge without explanation
NB:assumes answers are compatible (concept corresponding to join vars if any are the same)
|
Answer |
Answer.merge(Answer a2,
boolean explanation)
perform an answer merge with optional explanation
NB:assumes answers are compatible (concept corresponding to join vars if any are the same)
|
void |
Answer.putAll(Answer a) |
| Modifier and Type | Method and Description |
|---|---|
static mjson.Json |
HALBuilder.explanationAnswersToHAL(java.util.stream.Stream<Answer> answerStream,
int limit) |
static mjson.Json |
HALBuilder.renderHALArrayData(MatchQuery matchQuery,
Collection<Answer> results,
int offset,
int limit,
boolean filterInstances) |
| Modifier and Type | Method and Description |
|---|---|
java.util.stream.Stream<Answer> |
MatchOrder.orderStream(java.util.stream.Stream<Answer> stream)
Order the stream
|
java.util.stream.Stream<Answer> |
MatchQueryBase.stream(Optional<GraknGraph> optionalGraph) |
| Modifier and Type | Method and Description |
|---|---|
java.util.stream.Stream<Answer> |
MatchOrder.orderStream(java.util.stream.Stream<Answer> stream)
Order the stream
|
| Modifier and Type | Method and Description |
|---|---|
java.util.stream.Stream<Answer> |
NotEquals.filter(java.util.stream.Stream<Answer> answers)
apply the not equals filter to answer stream
|
| Modifier and Type | Method and Description |
|---|---|
static boolean |
NotEquals.notEqualsOperator(Answer answer,
NotEquals atom) |
| Modifier and Type | Method and Description |
|---|---|
java.util.stream.Stream<Answer> |
NotEquals.filter(java.util.stream.Stream<Answer> answers)
apply the not equals filter to answer stream
|
| Modifier and Type | Class and Description |
|---|---|
class |
Cache<Q extends ReasonerQuery,T extends Iterable<Answer>>
Generic container class for storing performed query resolutions.
|
| Modifier and Type | Method and Description |
|---|---|
Answer |
QueryCache.recordAnswer(Q query,
Answer answer) |
| Modifier and Type | Method and Description |
|---|---|
LazyIterator<Answer> |
QueryCache.getAnswerIterator(Q query) |
abstract LazyIterator<Answer> |
Cache.getAnswerIterator(Q query) |
java.util.stream.Stream<Answer> |
QueryCache.getAnswerStream(Q query) |
java.util.stream.Stream<Answer> |
LazyQueryCache.getAnswerStream(Q query) |
abstract java.util.stream.Stream<Answer> |
Cache.getAnswerStream(Q query) |
Map<javafx.util.Pair<VarName,Concept>,Set<Answer>> |
Cache.getInverseAnswerMap(Q query)
returns an inverse answer map with all query variables
|
Map<javafx.util.Pair<VarName,Concept>,Set<Answer>> |
Cache.getInverseAnswerMap(Q query,
Set<VarName> vars)
return an inverse answer map which is more suitable for operations involving concept comparison (joins, filtering, etc.)
NB: consumes the underlying stream for the specified query
|
java.util.stream.Stream<Answer> |
QueryCache.record(Q query,
java.util.stream.Stream<Answer> answerStream) |
java.util.stream.Stream<Answer> |
LazyQueryCache.record(Q query,
java.util.stream.Stream<Answer> answers) |
abstract java.util.stream.Stream<Answer> |
Cache.record(Q query,
java.util.stream.Stream<Answer> answers)
record answer stream for a specific query and retrieve the updated stream
|
LazyIterator<Answer> |
QueryCache.recordRetrieveLazy(Q query,
java.util.stream.Stream<Answer> answers) |
abstract LazyIterator<Answer> |
Cache.recordRetrieveLazy(Q query,
java.util.stream.Stream<Answer> answers)
record answer stream for a specific query and retrieve the updated stream in a lazy iterator
|
| Modifier and Type | Method and Description |
|---|---|
Answer |
QueryCache.recordAnswer(Q query,
Answer answer) |
| Modifier and Type | Method and Description |
|---|---|
java.util.stream.Stream<Answer> |
QueryCache.record(Q query,
java.util.stream.Stream<Answer> answerStream) |
java.util.stream.Stream<Answer> |
LazyQueryCache.record(Q query,
java.util.stream.Stream<Answer> answers) |
abstract java.util.stream.Stream<Answer> |
Cache.record(Q query,
java.util.stream.Stream<Answer> answers)
record answer stream for a specific query and retrieve the updated stream
|
LazyIterator<Answer> |
QueryCache.recordRetrieveLazy(Q query,
java.util.stream.Stream<Answer> answers) |
LazyAnswerIterator |
LazyQueryCache.recordRetrieveLazy(Q query,
java.util.stream.Stream<Answer> answers)
updates the cache by the specified query
|
abstract LazyIterator<Answer> |
Cache.recordRetrieveLazy(Q query,
java.util.stream.Stream<Answer> answers)
record answer stream for a specific query and retrieve the updated stream in a lazy iterator
|
| Modifier and Type | Method and Description |
|---|---|
Set<Answer> |
Explanation.getAnswers() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
Explanation.addAnswer(Answer a) |
| Modifier and Type | Method and Description |
|---|---|
java.util.stream.Stream<Answer> |
ReasonerQueryIterator.hasStream() |
| Modifier and Type | Method and Description |
|---|---|
LazyAnswerIterator |
LazyAnswerIterator.merge(java.util.stream.Stream<Answer> stream) |
| Constructor and Description |
|---|
LazyAnswerIterator(java.util.stream.Stream<Answer> stream) |
| Modifier and Type | Class and Description |
|---|---|
class |
QueryAnswer
Wrapper for query result class.
|
| Modifier and Type | Field and Description |
|---|---|
static java.util.function.BiFunction<Answer,Set<Unifier>,java.util.stream.Stream<Answer>> |
QueryAnswerStream.permuteFunction |
static java.util.function.BiFunction<Answer,Set<Unifier>,java.util.stream.Stream<Answer>> |
QueryAnswerStream.permuteFunction |
static java.util.function.BiFunction<Answer,Set<VarName>,java.util.stream.Stream<Answer>> |
QueryAnswerStream.varFilterFunction |
static java.util.function.BiFunction<Answer,Set<VarName>,java.util.stream.Stream<Answer>> |
QueryAnswerStream.varFilterFunction |
| Modifier and Type | Method and Description |
|---|---|
Answer |
QueryAnswer.copy() |
Answer |
QueryAnswer.merge(Answer a2) |
Answer |
QueryAnswer.merge(Answer a2,
boolean mergeExplanation) |
| Modifier and Type | Method and Description |
|---|---|
java.util.stream.Stream<Answer> |
ReasonerAtomicQuery.answerStream(Set<ReasonerAtomicQuery> subGoals,
Cache<ReasonerAtomicQuery,?> cache,
Cache<ReasonerAtomicQuery,?> dCache,
boolean materialise,
boolean explanation,
boolean differentialJoin)
resolves the query by performing lookups and rule resolution and returns a stream of new answers
|
java.util.stream.Stream<Answer> |
ReasonerAtomicQuery.DBlookup()
resolve the query by performing a db lookup
|
Set<Answer> |
QueryAnswer.getAnswers() |
Set<Answer> |
QueryAnswer.getExplicitPath() |
Iterator<Answer> |
QueryAnswers.iterator() |
static java.util.stream.Stream<Answer> |
QueryAnswerStream.join(java.util.stream.Stream<Answer> stream,
java.util.stream.Stream<Answer> stream2)
lazy stream join
|
static java.util.stream.Stream<Answer> |
QueryAnswerStream.join(java.util.stream.Stream<Answer> stream,
java.util.stream.Stream<Answer> stream2,
com.google.common.collect.ImmutableSet<VarName> joinVars,
boolean explanation)
lazy stream join with quasi- sideways information propagation
|
static java.util.stream.Stream<Answer> |
QueryAnswerStream.joinWithInverse(java.util.stream.Stream<Answer> stream,
java.util.stream.Stream<Answer> stream2,
Map<javafx.util.Pair<VarName,Concept>,Set<Answer>> stream2InverseMap,
com.google.common.collect.ImmutableSet<VarName> joinVars,
boolean explanation)
lazy stream join with fast lookup from inverse answer map
|
java.util.stream.Stream<Answer> |
ReasonerAtomicQuery.lookup(Cache<ReasonerAtomicQuery,?> cache)
resolve the query by performing either a db or memory lookup, depending on which is more appropriate
|
java.util.stream.Stream<Answer> |
ReasonerAtomicQuery.materialise(Answer answer) |
java.util.stream.Stream<Answer> |
ReasonerQueryImpl.resolve(boolean materialise,
boolean explanation) |
java.util.stream.Stream<Answer> |
ReasonerQueryImpl.resolve(boolean materialise,
boolean explanation,
LazyQueryCache<ReasonerAtomicQuery> cache,
LazyQueryCache<ReasonerAtomicQuery> dCache)
resolves the query
|
java.util.stream.Stream<Answer> |
ReasonerAtomicQuery.resolve(boolean materialise,
boolean explanation,
LazyQueryCache<ReasonerAtomicQuery> cache,
LazyQueryCache<ReasonerAtomicQuery> dCache) |
java.util.stream.Stream<Answer> |
QueryAnswers.stream() |
static java.util.stream.Stream<Answer> |
QueryAnswerStream.unify(java.util.stream.Stream<Answer> answers,
Unifier unifier)
unify answer stream by applying unifiers
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
QueryAnswers.add(Answer a) |
static boolean |
QueryAnswerStream.entityTypeFilter(Answer answer,
Set<TypeAtom> types) |
ReasonerQueryIterator |
ReasonerQueryImpl.iterator(Answer sub,
Set<ReasonerAtomicQuery> subGoals,
QueryCache<ReasonerAtomicQuery> cache) |
static boolean |
QueryAnswerStream.knownFilter(Answer answer,
java.util.stream.Stream<Answer> known) |
java.util.stream.Stream<Answer> |
ReasonerAtomicQuery.materialise(Answer answer) |
Answer |
QueryAnswer.merge(Answer a2) |
Answer |
QueryAnswer.merge(Answer a2,
boolean mergeExplanation) |
void |
QueryAnswer.putAll(Answer a) |
boolean |
QueryAnswers.remove(Answer a) |
static boolean |
QueryAnswerStream.subFilter(Answer answer,
Set<IdPredicate> subs) |
| Modifier and Type | Method and Description |
|---|---|
static java.util.stream.Stream<Answer> |
QueryAnswerStream.join(java.util.stream.Stream<Answer> stream,
java.util.stream.Stream<Answer> stream2)
lazy stream join
|
static java.util.stream.Stream<Answer> |
QueryAnswerStream.join(java.util.stream.Stream<Answer> stream,
java.util.stream.Stream<Answer> stream2)
lazy stream join
|
static java.util.stream.Stream<Answer> |
QueryAnswerStream.join(java.util.stream.Stream<Answer> stream,
java.util.stream.Stream<Answer> stream2,
com.google.common.collect.ImmutableSet<VarName> joinVars,
boolean explanation)
lazy stream join with quasi- sideways information propagation
|
static java.util.stream.Stream<Answer> |
QueryAnswerStream.join(java.util.stream.Stream<Answer> stream,
java.util.stream.Stream<Answer> stream2,
com.google.common.collect.ImmutableSet<VarName> joinVars,
boolean explanation)
lazy stream join with quasi- sideways information propagation
|
static java.util.stream.Stream<Answer> |
QueryAnswerStream.joinWithInverse(java.util.stream.Stream<Answer> stream,
java.util.stream.Stream<Answer> stream2,
Map<javafx.util.Pair<VarName,Concept>,Set<Answer>> stream2InverseMap,
com.google.common.collect.ImmutableSet<VarName> joinVars,
boolean explanation)
lazy stream join with fast lookup from inverse answer map
|
static java.util.stream.Stream<Answer> |
QueryAnswerStream.joinWithInverse(java.util.stream.Stream<Answer> stream,
java.util.stream.Stream<Answer> stream2,
Map<javafx.util.Pair<VarName,Concept>,Set<Answer>> stream2InverseMap,
com.google.common.collect.ImmutableSet<VarName> joinVars,
boolean explanation)
lazy stream join with fast lookup from inverse answer map
|
static java.util.stream.Stream<Answer> |
QueryAnswerStream.joinWithInverse(java.util.stream.Stream<Answer> stream,
java.util.stream.Stream<Answer> stream2,
Map<javafx.util.Pair<VarName,Concept>,Set<Answer>> stream2InverseMap,
com.google.common.collect.ImmutableSet<VarName> joinVars,
boolean explanation)
lazy stream join with fast lookup from inverse answer map
|
static boolean |
QueryAnswerStream.knownFilter(Answer answer,
java.util.stream.Stream<Answer> known) |
static java.util.stream.Stream<Answer> |
QueryAnswerStream.unify(java.util.stream.Stream<Answer> answers,
Unifier unifier)
unify answer stream by applying unifiers
|
| Constructor and Description |
|---|
QueryAnswer(Answer a) |
QueryAnswers(Answer ans) |
| Constructor and Description |
|---|
QueryAnswers(Collection<Answer> ans) |
Copyright © 2017 Grakn Labs Ltd. All rights reserved.