ai.grakn.graql.internal.reasoner.atom.binary

Class BinaryBase

java.lang.Object

ai.grakn.graql.internal.reasoner.atom.AtomicBase

ai.grakn.graql.internal.reasoner.atom.Atom

ai.grakn.graql.internal.reasoner.atom.binary.BinaryBase

All Implemented Interfaces:

Atomic

Direct Known Subclasses:

Binary, MultiPredicateBinary

public abstract class BinaryBase
extends Atom

Base implementation for binary atoms of the type ($varName, $valueVariable), where value variable references predicates.

Author:

Kasper Piskorski

Field Summary

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

applicableRules, typeId

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

atomPattern

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
protected abstract Var	extractValueVariableName(VarPatternAdmin var)
Unifier	getUnifier(Atom parentAtom) find unifier with parent atom
Var	getValueVariable()
Set<Var>	getVarNames()
protected abstract boolean	hasEquivalentPredicatesWith(BinaryBase atom)
int	hashCode()
boolean	isEquivalent(Object obj)

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

baseResolutionPriority, computePriority, computePriority, getApplicableRules, getIdPredicates, getMappedTypeConstraints, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPermutationUnifiers, getPredicates, getType, getTypeConstraints, getTypeId, getUnmappedIdPredicates, getUnmappedTypeConstraints, getValuePredicates, inferTypes, isAllowedToFormRuleHead, isAtom, isRecursive, isRelation, isResource, isRuleApplicable, isRuleResolvable, isType, requiresMaterialisation, rewriteToUserDefined

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

containsVar, copy, getCombinedPattern, getParentQuery, getPattern, getVarName, 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

equivalenceHashCode, isPredicate, isSelectable

Method Detail

extractValueVariableName

protected abstract Var extractValueVariableName(VarPatternAdmin var)

hasEquivalentPredicatesWith

protected abstract boolean hasEquivalentPredicatesWith(BinaryBase atom)

getValueVariable

public Var getValueVariable()

Overrides:

getValueVariable in class Atom

Returns:

value variable name

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

isEquivalent

public boolean isEquivalent(Object obj)

getVarNames

public Set<Var> getVarNames()

Specified by:

getVarNames in interface Atomic

Overrides:

getVarNames in class AtomicBase

getUnifier

public Unifier getUnifier(Atom parentAtom)

Description copied from class: Atom

find unifier with parent atom

Specified by:

getUnifier in class Atom

Parameters:

parentAtom - atom to be unified with

Returns:

unifier