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

All Implemented Interfaces:

Atomic

Direct Known Subclasses:

ResourceAtom, TypeAtom

public abstract class Binary
extends Atom

Implementation for binary atoms with single id typePredicate for a schema concept. Binary atoms take the form: <>($varName, $predicateVariable), type($predicateVariable)

Author:

Kasper Piskorski

Method Summary

Modifier and Type	Method and Description
int	equivalenceHashCode()
PatternAdmin	getCombinedPattern()
java.util.stream.Stream<Predicate>	getInnerPredicates()
Var	getPredicateVariable()
SchemaConcept	getSchemaConcept()
ConceptId	getTypeId()
IdPredicate	getTypePredicate()
Unifier	getUnifier(Atom parentAtom)
Set<Var>	getVarNames()
boolean	isEquivalent(Object obj)
void	setParentQuery(ReasonerQuery q)

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

addType, atomOptions, baseResolutionPriority, computePriority, getApplicableRules, getIdPredicate, getInnerPredicates, getMultiUnifier, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPredicate, getPredicates, getPredicates, getRoleExpansionVariables, getSpecificTypeConstraints, getTypeConstraints, getVarProperties, inferTypes, isAtom, isRecursive, isRuleApplicableViaAtom, isRuleResolvable, requiresMaterialisation, requiresRoleExpansion, rewriteToUserDefined, toRelationshipAtom

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

containsVar, copy, getParentQuery, getPattern, getVarName, isUserDefined, toString, tx

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface ai.grakn.graql.admin.Atomic

isAllowedToFormRuleHead, isPredicate, isRelation, isResource, isSelectable, isType, validateOntologically

Method Detail

getPredicateVariable

public Var getPredicateVariable()

Specified by:

getPredicateVariable in class Atom

Returns:

value variable name

getTypePredicate

@Nullable
public IdPredicate getTypePredicate()

getSchemaConcept

@Nullable
public SchemaConcept getSchemaConcept()

Specified by:

getSchemaConcept in class Atom

Returns:

corresponding type if any

getTypeId

public ConceptId getTypeId()

Specified by:

getTypeId in class Atom

Returns:

type id of the corresponding type if any

equivalenceHashCode

public int equivalenceHashCode()

isEquivalent

public boolean isEquivalent(Object obj)

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

getVarNames

public Set<Var> getVarNames()

Specified by:

getVarNames in interface Atomic

Overrides:

getVarNames in class AtomicBase

getInnerPredicates

public java.util.stream.Stream<Predicate> getInnerPredicates()

Specified by:

getInnerPredicates in class Atom

getUnifier

public Unifier getUnifier(Atom parentAtom)

Specified by:

getUnifier in class Atom

Parameters:

parentAtom - atom to be unified with

Returns:

corresponding unifier