Uses of Interface
ai.grakn.graql.admin.Unifier

Packages that use Unifier

Package	Description
ai.grakn.graql.admin	A collection of interfaces offering more behaviour on Graql objects.
ai.grakn.graql.internal.reasoner
ai.grakn.graql.internal.reasoner.atom
ai.grakn.graql.internal.reasoner.atom.binary
ai.grakn.graql.internal.reasoner.atom.predicate
ai.grakn.graql.internal.reasoner.iterator
ai.grakn.graql.internal.reasoner.query
ai.grakn.graql.internal.reasoner.rule

Uses of Unifier in ai.grakn.graql.admin

Methods in ai.grakn.graql.admin that return Unifier

Modifier and Type	Method and Description
Unifier	Atomic.getUnifier(Atomic parentAtom)
Unifier	ReasonerQuery.getUnifier(ReasonerQuery parent)
Unifier	Unifier.merge(Unifier d)
Unifier	Unifier.removeTrivialMappings()

Methods in ai.grakn.graql.admin with parameters of type Unifier

Modifier and Type	Method and Description
Unifier	Unifier.merge(Unifier d)
void	ReasonerQuery.unify(Unifier unifier) change each variable occurrence according to provided mappings (apply unifiers {[from, to]_i})
void	Atomic.unify(Unifier unifier) change each variable occurrence according to provided mappings (apply unifiers {[from, to]_i}) if capture occurs it is marked with a "capture->" name
Answer	Answer.unify(Unifier unifier)

Uses of Unifier in ai.grakn.graql.internal.reasoner

Methods in ai.grakn.graql.internal.reasoner that return types with arguments of type Unifier

Modifier and Type	Method and Description
static Set<Unifier>	Utility.getUnifiersFromPermutations(List<VarName> originalVars, List<List<VarName>> permutations) get unifiers by comparing permutations with original variables

Uses of Unifier in ai.grakn.graql.internal.reasoner.atom

Methods in ai.grakn.graql.internal.reasoner.atom that return Unifier

Modifier and Type	Method and Description
Unifier	AtomBase.getUnifier(Atomic parentAtom) get unifiers by comparing this atom with parent

Methods in ai.grakn.graql.internal.reasoner.atom that return types with arguments of type Unifier

Modifier and Type	Method and Description
Set<Unifier>	Atom.getPermutationUnifiers(Atom headAtom)
javafx.util.Pair<Atom,Unifier>	Atom.rewriteToUserDefinedWithUnifiers() rewrites the atom to one with user defined name, need unifiers for cases when we have variable clashes between the relation variable and relation players

Methods in ai.grakn.graql.internal.reasoner.atom with parameters of type Unifier

Modifier and Type	Method and Description
void	NotEquals.unify(Unifier unifier)
void	AtomBase.unify(Unifier unifier) perform unification on the atom by applying unifiers

Uses of Unifier in ai.grakn.graql.internal.reasoner.atom.binary

Methods in ai.grakn.graql.internal.reasoner.atom.binary that return Unifier

Modifier and Type	Method and Description
Unifier	Resource.getUnifier(Atomic parentAtom)
Unifier	Relation.getUnifier(Atomic pAtom)
Unifier	BinaryBase.getUnifier(Atomic parentAtom)

Methods in ai.grakn.graql.internal.reasoner.atom.binary that return types with arguments of type Unifier

Modifier and Type	Method and Description
Set<Unifier>	Relation.getPermutationUnifiers(Atom headAtom)
javafx.util.Pair<Atom,Unifier>	Relation.rewriteToUserDefinedWithUnifiers() rewrites the atom to one with user defined name, need unifiers for cases when we have variable clashes between the relation variable and relation players

Methods in ai.grakn.graql.internal.reasoner.atom.binary with parameters of type Unifier

Modifier and Type	Method and Description
void	Relation.unify(Unifier mappings)
void	MultiPredicateBinary.unify(Unifier unifier)
void	BinaryBase.unify(Unifier unifier)
void	Binary.unify(Unifier unifier)

Uses of Unifier in ai.grakn.graql.internal.reasoner.atom.predicate

Methods in ai.grakn.graql.internal.reasoner.atom.predicate that return Unifier

Modifier and Type	Method and Description
Unifier	Predicate.getUnifier(Atomic parentAtom)

Uses of Unifier in ai.grakn.graql.internal.reasoner.iterator

Methods in ai.grakn.graql.internal.reasoner.iterator with parameters of type Unifier

Modifier and Type	Method and Description
LazyAnswerIterator	LazyAnswerIterator.unify(Unifier unifier)

Uses of Unifier in ai.grakn.graql.internal.reasoner.query

Classes in ai.grakn.graql.internal.reasoner.query that implement Unifier

Modifier and Type	Class and Description
class	UnifierImpl Implementation of Unifier interface.

Fields in ai.grakn.graql.internal.reasoner.query with type parameters of type Unifier

Modifier and Type	Field and Description
static java.util.function.BiFunction<Answer,Set<Unifier>,java.util.stream.Stream<Answer>>	QueryAnswerStream.permuteFunction

Methods in ai.grakn.graql.internal.reasoner.query that return Unifier

Modifier and Type	Method and Description
Unifier	ReasonerQueryImpl.getUnifier(ReasonerQuery parent)
Unifier	ReasonerAtomicQuery.getUnifier(ReasonerQuery p)
Unifier	UnifierImpl.merge(Unifier d)
Unifier	UnifierImpl.removeTrivialMappings()

Methods in ai.grakn.graql.internal.reasoner.query with parameters of type Unifier

Modifier and Type	Method and Description
Unifier	UnifierImpl.merge(Unifier d)
static java.util.stream.Stream<Answer>	QueryAnswerStream.unify(java.util.stream.Stream<Answer> answers, Unifier unifier) unify answer stream by applying unifiers
void	ReasonerQueryImpl.unify(Unifier unifier) change each variable occurrence according to provided mappings (apply unifiers {[from, to]_i})
void	ReasonerAtomicQuery.unify(Unifier unifier)
QueryAnswers	QueryAnswers.unify(Unifier unifier) unify the answers by applying unifiers to variable set
QueryAnswer	QueryAnswer.unify(Unifier unifier)

Constructors in ai.grakn.graql.internal.reasoner.query with parameters of type Unifier

Constructor and Description
UnifierImpl(Unifier u)

Uses of Unifier in ai.grakn.graql.internal.reasoner.rule

Methods in ai.grakn.graql.internal.reasoner.rule with parameters of type Unifier

Modifier and Type	Method and Description
InferenceRule	InferenceRule.unify(Unifier unifier)