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

Class Binary

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

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

All Implemented Interfaces:

Atomic

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

priority, typeId

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

atomPattern, varName

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Binary(Binary a)
protected	Binary(VarPatternAdmin pattern, IdPredicate p, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
int	equivalenceHashCode()
protected abstract ConceptId	extractTypeId()
PatternAdmin	getCombinedPattern()
IdPredicate	getPredicate()
protected boolean	hasEquivalentPredicatesWith(BinaryBase atom)
void	setParentQuery(ReasonerQuery q)
protected void	setPredicate(IdPredicate p)
Atomic	unify(Unifier unifier) perform unification on the atom by applying unifiers

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

equals, extractValueVariableName, getLinkedAtoms, getUnifier, getValueVariable, getVarNames, hashCode, isBinary, isEquivalent, setValueVariable

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

isPredicate, isSelectable

Constructor Detail

Binary

protected Binary(VarPatternAdmin pattern,
                 IdPredicate p,
                 ReasonerQuery par)

Binary

protected Binary(Binary a)

Method Detail

extractTypeId

protected abstract ConceptId extractTypeId()

getCombinedPattern

public PatternAdmin getCombinedPattern()

Specified by:

getCombinedPattern in interface Atomic

Overrides:

getCombinedPattern in class AtomicBase

setParentQuery

public void setParentQuery(ReasonerQuery q)

Specified by:

setParentQuery in interface Atomic

Overrides:

setParentQuery in class AtomicBase

Parameters:

q - query this atom is supposed to belong to

getPredicate

public IdPredicate getPredicate()

setPredicate

protected void setPredicate(IdPredicate p)

hasEquivalentPredicatesWith

protected boolean hasEquivalentPredicatesWith(BinaryBase atom)

Specified by:

hasEquivalentPredicatesWith in class BinaryBase

equivalenceHashCode

public int equivalenceHashCode()

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 BinaryBase

Parameters:

unifier - contain variable mappings to be applied