ai.grakn.graql.internal.reasoner.query

Class ReasonerQueryEquivalence

java.lang.Object

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

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

All Implemented Interfaces:

java.util.function.BiPredicate<ReasonerQuery,ReasonerQuery>

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 ReasonerQueryEquivalence	AlphaEquivalence
static ReasonerQueryEquivalence	Equality
static ReasonerQueryEquivalence	StructuralEquivalence

Constructor Summary

Constructors

Constructor and Description
ReasonerQueryEquivalence()

Method Summary

Modifier and Type	Method and Description
abstract AtomicEquivalence	atomicEquivalence()
String	name()

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

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.BiPredicate

and, negate, or

Field Detail

Equality

public static final ReasonerQueryEquivalence Equality

AlphaEquivalence

public static final ReasonerQueryEquivalence AlphaEquivalence

StructuralEquivalence

public static final ReasonerQueryEquivalence StructuralEquivalence

Constructor Detail

ReasonerQueryEquivalence

public ReasonerQueryEquivalence()

Method Detail

atomicEquivalence

public abstract AtomicEquivalence atomicEquivalence()

name

public String name()