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

Class BinaryBase

java.lang.Object

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

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

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

All Implemented Interfaces:

Atomic, Cloneable

Direct Known Subclasses:

Binary, MultiPredicateBinary

public abstract class BinaryBase
extends Atom

Base implementationfor 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

type, typeId

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

atomPattern, varName

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BinaryBase(BinaryBase a)
protected	BinaryBase(VarAdmin pattern, Query par)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
protected abstract VarName	extractValueVariableName(VarAdmin var)
Set<Predicate>	getIdPredicates()
Set<Atom>	getLinkedAtoms()
Set<Predicate>	getPredicates()
Set<VarName>	getSelectedNames()
Map<VarName,VarName>	getUnifiers(Atomic parentAtom) get unifiers by comparing this atom with parent
Set<Predicate>	getValuePredicates()
VarName	getValueVariable()
Set<VarName>	getVarNames()
int	hashCode()
boolean	isBinary()
boolean	isEquivalent(Object obj)
protected boolean	isRuleApplicable(InferenceRule child)
protected abstract boolean	predicatesEquivalent(BinaryBase atom)
boolean	requiresMaterialisation()
protected void	setValueVariable(VarName var)
void	unify(Map<VarName,VarName> unifiers) perform unification on the atom by applying unifiers

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

getApplicableRules, getRoleVarTypeMap, getType, getTypeConstraints, getTypeId, getVarTypeRoleMap, inferTypes, isAtom, isRecursive, isRelation, isResource, isRuleResolvable, isType, rewrite

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

clone, containsVar, getCombinedPattern, getParentQuery, getPattern, getVarName, isUserDefinedName, isValueUserDefinedName, resetNames, 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

equivalenceHashCode, isPredicate, isSelectable

Constructor Detail

BinaryBase

protected BinaryBase(VarAdmin pattern,
                     Query par)

BinaryBase

protected BinaryBase(BinaryBase a)

Method Detail

extractValueVariableName

protected abstract VarName extractValueVariableName(VarAdmin var)

predicatesEquivalent

protected abstract boolean predicatesEquivalent(BinaryBase atom)

getValueVariable

public VarName getValueVariable()

Overrides:

getValueVariable in class Atom

Returns:

value variable name

setValueVariable

protected void setValueVariable(VarName var)

isBinary

public boolean isBinary()

Overrides:

isBinary in class Atom

isRuleApplicable

protected boolean isRuleApplicable(InferenceRule child)

Specified by:

isRuleApplicable in class Atom

requiresMaterialisation

public boolean requiresMaterialisation()

Overrides:

requiresMaterialisation in class Atom

Returns:

true if the atom requires materialisation in order to be referenced

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)

Returns:

true if atom alpha-equivalent

getIdPredicates

public Set<Predicate> getIdPredicates()

Specified by:

getIdPredicates in class Atom

Returns:

set of id predicates relevant to this atom

getValuePredicates

public Set<Predicate> getValuePredicates()

Specified by:

getValuePredicates in class Atom

Returns:

set of value predicates relevant to this atom

getPredicates

public Set<Predicate> getPredicates()

Specified by:

getPredicates in class Atom

Returns:

set of predicates relevant to this atom

getLinkedAtoms

public Set<Atom> getLinkedAtoms()

Returns:

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

getVarNames

public Set<VarName> getVarNames()

Specified by:

getVarNames in interface Atomic

Overrides:

getVarNames in class AtomBase

Returns:

all addressable variable names in the atom

getSelectedNames

public Set<VarName> getSelectedNames()

Overrides:

getSelectedNames in class AtomBase

unify

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

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:

unifiers - contain variable mappings to be applied

getUnifiers

public Map<VarName,VarName> getUnifiers(Atomic parentAtom)

Description copied from class: AtomBase

get unifiers by comparing this atom with parent

Specified by:

getUnifiers in interface Atomic

Overrides:

getUnifiers in class AtomBase

Parameters:

parentAtom - atom defining variable names

Returns:

map of unifiers