| Package | Description |
|---|---|
| ai.grakn.graql.internal.reasoner.atom.binary.type | |
| ai.grakn.graql.internal.reasoner.cache | |
| ai.grakn.graql.internal.reasoner.query | |
| ai.grakn.graql.internal.reasoner.utils |
| Modifier and Type | Method and Description |
|---|---|
protected Pair<VarPatternAdmin,IdPredicate> |
IsaAtom.getTypedPair(SchemaConcept type) |
| Modifier and Type | Method and Description |
|---|---|
Pair<Q,T> |
Cache.get(Q query) |
Pair<java.util.stream.Stream<Answer>,MultiUnifier> |
QueryCache.getAnswerStreamWithUnifier(Q query) |
Pair<java.util.stream.Stream<Answer>,MultiUnifier> |
LazyQueryCache.getAnswerStreamWithUnifier(Q query) |
abstract Pair<java.util.stream.Stream<Answer>,MultiUnifier> |
Cache.getAnswerStreamWithUnifier(Q query) |
Pair<QueryAnswers,MultiUnifier> |
QueryCache.getAnswersWithUnifier(Q query) |
Pair<LazyAnswerIterator,MultiUnifier> |
LazyQueryCache.getAnswersWithUnifier(Q query) |
abstract Pair<T,MultiUnifier> |
Cache.getAnswersWithUnifier(Q query) |
Pair<Q,T> |
Cache.put(Q query,
T answers)
Associates the specified answers with the specified query in this cache adding an (query) -> (answers) entry
|
| Modifier and Type | Method and Description |
|---|---|
Collection<Pair<Q,T>> |
Cache.entries() |
Map<Pair<Var,Concept>,Set<Answer>> |
Cache.getInverseAnswerMap(Q query)
returns an inverse answer map with all query variables
|
Map<Pair<Var,Concept>,Set<Answer>> |
Cache.getInverseAnswerMap(Q query,
Set<Var> 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
|
| Modifier and Type | Method and Description |
|---|---|
void |
Cache.putAll(Map<Q,Pair<Q,T>> map)
Copies all of the mappings from the specified map to this cache
|
| Modifier and Type | Method and Description |
|---|---|
Iterator<Pair<InferenceRule,Unifier>> |
ReasonerAtomicQuery.getRuleIterator() |
| Modifier and Type | Method and Description |
|---|---|
static Rule |
ReasonerUtils.createPropertyChainRule(String label,
RelationshipType relation,
Label fromRoleLabel,
Label toRoleLabel,
LinkedHashMap<RelationshipType,Pair<Label,Label>> chain,
GraknTx tx)
creates rule R(fromRole: x, toRole: xm) :- R1(fromRole: x, ...), , R2, ...
|
static Set<Unifier> |
ReasonerUtils.getUnifiersFromPermutations(List<Pair<Var,Var>> originalVars,
List<List<Pair<Var,Var>>> permutations)
get unifiers by comparing permutations with original variables
|
static Set<Unifier> |
ReasonerUtils.getUnifiersFromPermutations(List<Pair<Var,Var>> originalVars,
List<List<Pair<Var,Var>>> permutations)
get unifiers by comparing permutations with original variables
|
Copyright © 2017 Grakn Labs Ltd. All rights reserved.