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, Cloneable

public class NotEquals
extends AtomBase

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(String varName, NeqProperty prop, Query parent)

Method Summary

Modifier and Type	Method and Description
Atomic	clone()
boolean	equals(Object obj)
int	equivalenceHashCode()
QueryAnswers	filter(QueryAnswers answers)
String	getReferenceVarName()
int	hashCode()
boolean	isEquivalent(Object obj)
void	unify(Map<String,String> unifiers) change each variable occurrence according to provided mappings (apply unifiers {[from, to]_i}) if capture occurs it is marked with a "capture->" name
void	unify(String from, String to) change each variable occurrence in the atom (apply unifier [from/to]) if capture occurs it is marked with a "capture->" name

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

containsVar, getParentQuery, getPattern, getPredicates, getSelectedNames, getUnifiers, getVarName, getVarNames, isUserDefinedName, isValueUserDefinedName, setParentQuery, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface ai.grakn.graql.internal.reasoner.atom.Atomic

isAtom, isPredicate, isRecursive, isRuleResolvable, isSelectable

Constructor Detail

NotEquals

public NotEquals(String varName,
                 NeqProperty prop,
                 Query 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()

clone

public Atomic clone()

Specified by:

clone in interface Atomic

Specified by:

clone in class AtomBase

unify

public void unify(String from,
                  String to)

Description copied from interface: Atomic

change each variable occurrence in the atom (apply unifier [from/to]) if capture occurs it is marked with a "capture->" name

Specified by:

unify in interface Atomic

Overrides:

unify in class AtomBase

Parameters:

from - variable name to be changed

to - new variable name

unify

public void unify(Map<String,String> unifiers)

Description copied from interface: Atomic

change each variable occurrence according to provided mappings (apply unifiers {[from, to]_i}) if capture occurs it is marked with a "capture->" name

Specified by:

unify in interface Atomic

Overrides:

unify in class AtomBase

Parameters:

unifiers - contain variable mappings to be applied

getReferenceVarName

public String getReferenceVarName()

filter

public QueryAnswers filter(QueryAnswers answers)