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

Class MultiPredicateBinary

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.MultiPredicateBinary

All Implemented Interfaces:

Atomic

Direct Known Subclasses:

Resource

public abstract class MultiPredicateBinary
extends BinaryBase

Base implementation for binary atoms with multiple 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	MultiPredicateBinary(MultiPredicateBinary a)
protected	MultiPredicateBinary(VarAdmin pattern, Set<Predicate> preds, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
int	equivalenceHashCode()
protected abstract ConceptId	extractTypeId(VarAdmin var)
PatternAdmin	getCombinedPattern()
Set<Predicate>	getMultiPredicate()
protected boolean	predicatesEquivalent(BinaryBase at)
void	setParentQuery(ReasonerQuery q)
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, getLinkedAtoms, getUnifiers, getValueVariable, getVarNames, hashCode, isBinary, isEquivalent, isRuleApplicable, requiresMaterialisation, setValueVariable

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

getApplicableRules, getIdPredicates, getMappedTypeConstraints, getPermutationUnifiers, getPredicates, getRoleVarTypeMap, getType, getTypeConstraints, getTypeId, getUnmappedIdPredicates, getUnmappedTypeConstraints, getValuePredicates, inferTypes, isAtom, isRecursive, isRelation, isResource, isRuleResolvable, isType, rewriteToUserDefined, rewriteToUserDefinedWithUnifiers

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

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

MultiPredicateBinary

protected MultiPredicateBinary(VarAdmin pattern,
                               Set<Predicate> preds,
                               ReasonerQuery par)

MultiPredicateBinary

protected MultiPredicateBinary(MultiPredicateBinary a)

Method Detail

extractTypeId

protected abstract ConceptId extractTypeId(VarAdmin var)

setParentQuery

public void setParentQuery(ReasonerQuery q)

Specified by:

setParentQuery in interface Atomic

Overrides:

setParentQuery in class AtomBase

Parameters:

q - query this atom is supposed to belong to

getMultiPredicate

public Set<Predicate> getMultiPredicate()

getCombinedPattern

public PatternAdmin getCombinedPattern()

Specified by:

getCombinedPattern in interface Atomic

Overrides:

getCombinedPattern in class AtomBase

Returns:

the base pattern combined with possible predicate patterns

predicatesEquivalent

protected boolean predicatesEquivalent(BinaryBase at)

Specified by:

predicatesEquivalent in class BinaryBase

equivalenceHashCode

public int equivalenceHashCode()

Returns:

equivalence hash code

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