| Package | Description |
|---|---|
| ai.grakn.graql.admin |
A collection of interfaces offering more behaviour on Graql objects.
|
| ai.grakn.graql.internal.query | |
| ai.grakn.graql.internal.reasoner | |
| ai.grakn.graql.internal.reasoner.atom | |
| ai.grakn.graql.internal.reasoner.atom.binary | |
| ai.grakn.graql.internal.reasoner.atom.binary.type | |
| ai.grakn.graql.internal.reasoner.atom.predicate | |
| ai.grakn.graql.internal.reasoner.cache | |
| ai.grakn.graql.internal.reasoner.iterator | |
| ai.grakn.graql.internal.reasoner.query | |
| ai.grakn.graql.internal.reasoner.rule | |
| ai.grakn.graql.internal.reasoner.utils |
| Modifier and Type | Method and Description |
|---|---|
Unifier |
Unifier.combine(Unifier u)
unifier combination by joining mappings
|
Unifier |
ReasonerQuery.getUnifier(ReasonerQuery parent) |
Unifier |
Unifier.inverse() |
Unifier |
Unifier.merge(Unifier u)
unifier merging by simple mapping addition (no variable clashes assumed)
|
Unifier |
Unifier.removeTrivialMappings() |
| Modifier and Type | Method and Description |
|---|---|
Unifier |
Unifier.combine(Unifier u)
unifier combination by joining mappings
|
boolean |
Unifier.containsAll(Unifier u) |
Unifier |
Unifier.merge(Unifier u)
unifier merging by simple mapping addition (no variable clashes assumed)
|
Answer |
Answer.unify(Unifier unifier) |
| Modifier and Type | Method and Description |
|---|---|
java.util.stream.Stream<Answer> |
Answer.permute(Set<Unifier> unifierSet) |
| Modifier and Type | Method and Description |
|---|---|
Answer |
QueryAnswer.unify(Unifier unifier) |
| Modifier and Type | Method and Description |
|---|---|
java.util.stream.Stream<Answer> |
QueryAnswer.permute(Set<Unifier> unifierSet) |
| Modifier and Type | Class and Description |
|---|---|
class |
UnifierImpl
Implementation of
Unifier interface. |
| Modifier and Type | Method and Description |
|---|---|
Unifier |
UnifierImpl.combine(Unifier d) |
Unifier |
UnifierImpl.inverse() |
Unifier |
UnifierImpl.merge(Unifier d) |
Unifier |
UnifierImpl.removeTrivialMappings() |
| Modifier and Type | Method and Description |
|---|---|
Unifier |
UnifierImpl.combine(Unifier d) |
boolean |
UnifierImpl.containsAll(Unifier u) |
Unifier |
UnifierImpl.merge(Unifier d) |
| Constructor and Description |
|---|
UnifierImpl(Unifier u) |
| Modifier and Type | Method and Description |
|---|---|
abstract Unifier |
Atom.getUnifier(Atom parentAtom)
find unifier with parent atom
|
| Modifier and Type | Method and Description |
|---|---|
Set<Unifier> |
Atom.getPermutationUnifiers(Atom headAtom) |
| Modifier and Type | Method and Description |
|---|---|
Unifier |
ResourceAtom.getUnifier(Atom parentAtom) |
Unifier |
RelationAtom.getUnifier(Atom pAtom) |
Unifier |
Binary.getUnifier(Atom parentAtom) |
| Modifier and Type | Method and Description |
|---|---|
Set<Unifier> |
RelationAtom.getPermutationUnifiers(Atom headAtom) |
| Modifier and Type | Method and Description |
|---|---|
abstract Set<TypeAtom> |
TypeAtom.unify(Unifier u) |
| Modifier and Type | Method and Description |
|---|---|
Set<TypeAtom> |
SubAtom.unify(Unifier u) |
Set<TypeAtom> |
ScopeAtom.unify(Unifier u) |
Set<TypeAtom> |
RelatesAtom.unify(Unifier u) |
Set<TypeAtom> |
PlaysAtom.unify(Unifier u) |
Set<TypeAtom> |
IsaAtom.unify(Unifier u) |
Set<TypeAtom> |
HasAtom.unify(Unifier u) |
| Modifier and Type | Method and Description |
|---|---|
Set<ValuePredicate> |
ValuePredicate.unify(Unifier u) |
| Modifier and Type | Method and Description |
|---|---|
javafx.util.Pair<java.util.stream.Stream<Answer>,Unifier> |
QueryCache.getAnswerStreamWithUnifier(Q query) |
javafx.util.Pair<java.util.stream.Stream<Answer>,Unifier> |
LazyQueryCache.getAnswerStreamWithUnifier(Q query) |
abstract javafx.util.Pair<java.util.stream.Stream<Answer>,Unifier> |
Cache.getAnswerStreamWithUnifier(Q query) |
javafx.util.Pair<QueryAnswers,Unifier> |
QueryCache.getAnswersWithUnifier(Q query) |
javafx.util.Pair<LazyAnswerIterator,Unifier> |
LazyQueryCache.getAnswersWithUnifier(Q query) |
abstract javafx.util.Pair<T,Unifier> |
Cache.getAnswersWithUnifier(Q query) |
| Modifier and Type | Method and Description |
|---|---|
Answer |
QueryCache.recordAnswerWithUnifier(Q query,
Answer answer,
Unifier unifier)
record a specific answer to a given query with a known cache unifier
|
| Modifier and Type | Method and Description |
|---|---|
LazyAnswerIterator |
LazyAnswerIterator.unify(Unifier unifier) |
| Modifier and Type | Method and Description |
|---|---|
Unifier |
ReasonerQueryImpl.getUnifier(ReasonerQuery parent) |
Unifier |
ReasonerAtomicQuery.getUnifier(ReasonerQuery p) |
| Modifier and Type | Method and Description |
|---|---|
QueryAnswers |
QueryAnswers.unify(Unifier unifier)
unify the answers by applying unifiers to variable set
|
| Modifier and Type | Method and Description |
|---|---|
Unifier |
RuleTuple.getPermutationUnifier() |
Unifier |
RuleTuple.getRuleUnifier() |
Unifier |
InferenceRule.getUnifier(Atom parentAtom) |
| Modifier and Type | Method and Description |
|---|---|
InferenceRule |
InferenceRule.propagateConstraints(Atom parentAtom,
Unifier unifier) |
| Constructor and Description |
|---|
RuleTuple(InferenceRule rule,
Unifier u,
Unifier pu) |
| Modifier and Type | Method and Description |
|---|---|
static Set<Unifier> |
ReasonerUtils.getUnifiersFromPermutations(List<Var> originalVars,
List<List<Var>> permutations)
get unifiers by comparing permutations with original variables
|
Copyright © 2017 Grakn Labs Ltd. All rights reserved.