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

Class Binary

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

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

All Implemented Interfaces:

Atomic, Cloneable

Direct Known Subclasses:

TypeAtom

public abstract class Binary
extends BinaryBase

Base implementation for binary atoms with single predicate.

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	Binary(Binary a)
protected	Binary(VarAdmin pattern, IdPredicate p, Query par)

Method Summary

Modifier and Type	Method and Description
int	equivalenceHashCode()
protected abstract ConceptId	extractTypeId(VarAdmin var)
PatternAdmin	getCombinedPattern()
IdPredicate	getPredicate()
boolean	isValueUserDefinedName()
protected boolean	predicatesEquivalent(BinaryBase atom)
void	setParentQuery(Query q)
protected void	setPredicate(IdPredicate p)
void	unify(Map<VarName,VarName> unifiers) perform unification on the atom by applying unifiers

Methods inherited from class ai.grakn.graql.internal.reasoner.atom.binary.BinaryBase

equals, extractValueVariableName, getIdPredicates, getLinkedAtoms, getPredicates, getSelectedNames, getUnifiers, getValuePredicates, getValueVariable, getVarNames, hashCode, isBinary, isEquivalent, isRuleApplicable, requiresMaterialisation, setValueVariable

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, getParentQuery, getPattern, getVarName, isUserDefinedName, resetNames, 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

isPredicate, isSelectable

Constructor Detail

Binary

protected Binary(VarAdmin pattern,
                 IdPredicate p,
                 Query par)

Binary

protected Binary(Binary a)

Method Detail

extractTypeId

protected abstract ConceptId extractTypeId(VarAdmin var)

getCombinedPattern

public PatternAdmin getCombinedPattern()

Specified by:

getCombinedPattern in interface Atomic

Overrides:

getCombinedPattern in class AtomBase

Returns:

the base pattern combined with possible predicate patterns

setParentQuery

public void setParentQuery(Query q)

Specified by:

setParentQuery in interface Atomic

Overrides:

setParentQuery in class AtomBase

Parameters:

q - query this atom is supposed to belong to

getPredicate

public IdPredicate getPredicate()

setPredicate

protected void setPredicate(IdPredicate p)

predicatesEquivalent

protected boolean predicatesEquivalent(BinaryBase atom)

Specified by:

predicatesEquivalent in class BinaryBase

equivalenceHashCode

public int equivalenceHashCode()

Returns:

equivalence hash code

isValueUserDefinedName

public boolean isValueUserDefinedName()

Overrides:

isValueUserDefinedName in class AtomBase

Returns:

true if the value variable is user defined

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 BinaryBase

Parameters:

unifiers - contain variable mappings to be applied