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

Class MultiPredicateBinary<T extends Predicate>

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

Type Parameters:

T - type of the contained predicate

All Implemented Interfaces:

Atomic

Direct Known Subclasses:

Resource

public abstract class MultiPredicateBinary<T extends Predicate>
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

priority, typeId

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

atomPattern, varName

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	MultiPredicateBinary(MultiPredicateBinary<T> a)
protected	MultiPredicateBinary(VarPatternAdmin pattern, Set<T> preds, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
int	equivalenceHashCode()
protected abstract ConceptId	extractTypeId(VarPatternAdmin var)
PatternAdmin	getCombinedPattern()
Set<T>	getMultiPredicate()
void	setParentQuery(ReasonerQuery q)
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, hasEquivalentPredicatesWith, 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

MultiPredicateBinary

protected MultiPredicateBinary(VarPatternAdmin pattern,
                               Set<T> preds,
                               ReasonerQuery par)

MultiPredicateBinary

protected MultiPredicateBinary(MultiPredicateBinary<T> a)

Method Detail

extractTypeId

protected abstract ConceptId extractTypeId(VarPatternAdmin var)

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

getMultiPredicate

public Set<T> getMultiPredicate()

getCombinedPattern

public PatternAdmin getCombinedPattern()

Specified by:

getCombinedPattern in interface Atomic

Overrides:

getCombinedPattern in class AtomicBase

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