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

priority, typeId

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

atomPattern, varName

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BinaryBase(BinaryBase a)
protected	BinaryBase(VarPatternAdmin pattern, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
protected abstract Var	extractValueVariableName(VarPatternAdmin var)
Set<Atom>	getLinkedAtoms()
Unifier	getUnifier(Atomic parentAtom) find unifier with parent atom
Var	getValueVariable()
Set<Var>	getVarNames()
protected abstract boolean	hasEquivalentPredicatesWith(BinaryBase atom)
int	hashCode()
boolean	isBinary()
boolean	isEquivalent(Object obj)
protected void	setValueVariable(Var var)
Atomic	unify(Unifier unifier) perform unification on the atom by applying unifiers

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

getApplicableRules, getIdPredicates, getMappedTypeConstraints, getNonSelectableConstraints, getPartialSubstitutions, getPermutationUnifiers, getPredicates, getRoleVarTypeMap, getType, getTypeConstraints, getTypeId, getUnmappedIdPredicates, getUnmappedTypeConstraints, getValuePredicates, inferTypes, isAllowedToFormRuleHead, isAtom, isRecursive, isRelation, isResource, isRuleApplicable, isRuleResolvable, isType, requiresMaterialisation, resolutionPriority, 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

Constructor Detail

BinaryBase

protected BinaryBase(VarPatternAdmin pattern,
                     ReasonerQuery par)

BinaryBase

protected BinaryBase(BinaryBase a)

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

setValueVariable

protected void setValueVariable(Var var)

isBinary

public boolean isBinary()

Overrides:

isBinary in class Atom

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)

getLinkedAtoms

public Set<Atom> getLinkedAtoms()

Returns:

set of atoms that are (potentially indirectly) linked to this atom via valueVariable

getVarNames

public Set<Var> getVarNames()

Specified by:

getVarNames in interface Atomic

Overrides:

getVarNames in class AtomicBase

unify

public Atomic unify(Unifier unifier)

Description copied from class: AtomicBase

perform unification on the atom by applying unifiers

Specified by:

unify in interface Atomic

Overrides:

unify in class AtomicBase

Parameters:

unifier - contain variable mappings to be applied

getUnifier

public Unifier getUnifier(Atomic 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