ai.grakn.graql.internal.reasoner.query

Class ReasonerQueryEquivalence

java.lang.Object

com.google.common.base.Equivalence<ReasonerQuery>

ai.grakn.graql.internal.reasoner.query.ReasonerQueryEquivalence

public abstract class ReasonerQueryEquivalence
extends com.google.common.base.Equivalence<ReasonerQuery>

Static class defining different equivalence comparisons for reasoner queries (ReasonerQuery): - Equality - two queries are equal if they contain the same Atomics of which all corresponding pairs are equal. - Alpha equivalence - two queries are alpha-equivalent if they are equal up to the choice of free variables. - Structural equivalence - two queries are structurally equivalent if they are equal up to the choice of free variables and partial substitutions (id predicates).

Author:

Kasper Piskorski

Nested Class Summary

Nested classes/interfaces inherited from class com.google.common.base.Equivalence

com.google.common.base.Equivalence.Wrapper<T>

Field Summary

Fields

Modifier and Type	Field and Description
static com.google.common.base.Equivalence<ReasonerQuery>	AlphaEquivalence
static com.google.common.base.Equivalence<ReasonerQuery>	Equality
static com.google.common.base.Equivalence<ReasonerQuery>	StructuralEquivalence

Constructor Summary

Constructors

Constructor and Description
ReasonerQueryEquivalence()

Method Summary

Methods inherited from class com.google.common.base.Equivalence

doEquivalent, doHash, equals, equivalent, equivalentTo, hash, identity, onResultOf, pairwise, wrap

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

Equality

public static final com.google.common.base.Equivalence<ReasonerQuery> Equality

AlphaEquivalence

public static final com.google.common.base.Equivalence<ReasonerQuery> AlphaEquivalence

StructuralEquivalence

public static final com.google.common.base.Equivalence<ReasonerQuery> StructuralEquivalence

Constructor Detail

ReasonerQueryEquivalence

public ReasonerQueryEquivalence()