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): - 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>	StructuralEquivalence

Constructor Summary

Constructors

Constructor and Description
ReasonerQueryEquivalence()

Method Summary

Modifier and Type	Method and Description
static boolean	containsEquivalentAtom(ReasonerQuery query, Atom atom, java.util.function.BiFunction<Atom,Atom,Boolean> equivalenceFunction)

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

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()

Method Detail

containsEquivalentAtom

public static boolean containsEquivalentAtom(ReasonerQuery query,
                                             Atom atom,
                                             java.util.function.BiFunction<Atom,Atom,Boolean> equivalenceFunction)

Parameters:

query - to be checked for equivalent atom containment

atom - in question

equivalenceFunction - function describing equivalence check

Returns:

true if query contains an equivalent atom