ai.grakn.graql.internal.reasoner.atom

Class NotEquals

java.lang.Object

ai.grakn.graql.internal.reasoner.atom.AtomBase

ai.grakn.graql.internal.reasoner.atom.NotEquals

All Implemented Interfaces:

Atomic

public class NotEquals
extends AtomBase

Implementation of atom corresponding to graql NotEquals property.

Author:

Kasper Piskorski

Field Summary

Fields inherited from class ai.grakn.graql.internal.reasoner.atom.AtomBase

atomPattern, varName

Constructor Summary

Constructors

Constructor and Description
NotEquals(NotEquals a)
NotEquals(VarName varName, NeqProperty prop, ReasonerQuery parent)

Method Summary

Modifier and Type	Method and Description
Atomic	copy()
boolean	equals(Object obj)
int	equivalenceHashCode()
QueryAnswers	filter(QueryAnswers answers) apply the not equals filter to answer set
java.util.stream.Stream<Answer>	filter(java.util.stream.Stream<Answer> answers) apply the not equals filter to answer stream
VarName	getReferenceVarName()
int	hashCode()
boolean	isEquivalent(Object obj)
static boolean	notEqualsOperator(Answer answer, NotEquals atom)
void	unify(Unifier unifier) perform unification on the atom by applying unifiers

Methods inherited from class ai.grakn.graql.internal.reasoner.atom.AtomBase

containsVar, getCombinedPattern, getParentQuery, getPattern, getUnifier, getVarName, getVarNames, graph, isUserDefinedName, setParentQuery, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface ai.grakn.graql.admin.Atomic

isAtom, isPredicate, isRecursive, isRuleResolvable, isSelectable

Constructor Detail

NotEquals

public NotEquals(VarName varName,
                 NeqProperty prop,
                 ReasonerQuery parent)

NotEquals

public NotEquals(NotEquals a)

Method Detail

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isEquivalent

public boolean isEquivalent(Object obj)

Returns:

true if atom alpha-equivalent

equivalenceHashCode

public int equivalenceHashCode()

Returns:

equivalence hash code

copy

public Atomic copy()

Specified by:

copy in interface Atomic

Specified by:

copy in class AtomBase

unify

public void unify(Unifier unifier)

Description copied from class: AtomBase

perform unification on the atom by applying unifiers

Specified by:

unify in interface Atomic

Overrides:

unify in class AtomBase

Parameters:

unifier - contain variable mappings to be applied

getReferenceVarName

public VarName getReferenceVarName()

notEqualsOperator

public static boolean notEqualsOperator(Answer answer,
                                        NotEquals atom)

filter

public QueryAnswers filter(QueryAnswers answers)

apply the not equals filter to answer set

Parameters:

answers - the filter should be applied to

Returns:

filtered answer set

filter

public java.util.stream.Stream<Answer> filter(java.util.stream.Stream<Answer> answers)

apply the not equals filter to answer stream

Parameters:

answers - the filter should be applied to

Returns:

filtered answer stream