ai.grakn.graql.internal.reasoner.atom

Class AtomicEquivalence

java.lang.Object

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

ai.grakn.graql.internal.reasoner.atom.AtomicEquivalence

All Implemented Interfaces:

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

public abstract class AtomicEquivalence
extends com.google.common.base.Equivalence<Atomic>

Static class defining different equivalence comparisons for Atomics : - Equality: two Atomics are equal if they are equal including all their corresponding variables. - Alpha-equivalence: two Atomics are alpha-equivalent if they are equal up to the choice of free variables. - Structural equivalence: Two atomics are structurally equivalent if they are equal up to the choice of free variables and partial substitutions (id predicates IdPredicate). Hence: - any two IdPredicates are structurally equivalent - structural equivalence check on queries is done by looking at Atoms. As a result: * connected predicates are assessed together with atoms they are connected to * dangling predicates are ignored

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

Constructor Summary

Constructors

Constructor and Description
AtomicEquivalence()

Method Summary

Modifier and Type	Method and Description
static <B extends Atomic,S extends B> boolean	equivalence(Collection<S> a1, Collection<S> a2, com.google.common.base.Equivalence<B> equiv)
static <B extends Atomic,S extends B> int	equivalenceHash(Collection<S> atoms, com.google.common.base.Equivalence<B> equiv)
static <B extends Atomic,S extends B> int	equivalenceHash(java.util.stream.Stream<S> atoms, com.google.common.base.Equivalence<B> equiv)
abstract 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 AtomicEquivalence Equality

AlphaEquivalence

public static final AtomicEquivalence AlphaEquivalence

StructuralEquivalence

public static final AtomicEquivalence StructuralEquivalence

Constructor Detail

AtomicEquivalence

public AtomicEquivalence()

Method Detail

name

public abstract String name()

equivalence

public static <B extends Atomic,S extends B> boolean equivalence(Collection<S> a1,
                                                                 Collection<S> a2,
                                                                 com.google.common.base.Equivalence<B> equiv)

equivalenceHash

public static <B extends Atomic,S extends B> int equivalenceHash(java.util.stream.Stream<S> atoms,
                                                                 com.google.common.base.Equivalence<B> equiv)

equivalenceHash

public static <B extends Atomic,S extends B> int equivalenceHash(Collection<S> atoms,
                                                                 com.google.common.base.Equivalence<B> equiv)