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 predicate for an ontology 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()
OntologyConcept	getOntologyConcept()
IdPredicate	getPredicate()
Var	getPredicateVariable()
ConceptId	getTypeId()
Unifier	getUnifier(Atom parentAtom) find unifier with parent atom
Set<Var>	getVarNames()
boolean	isEquivalent(Object obj)
void	setParentQuery(ReasonerQuery q)

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

baseResolutionPriority, computePriority, getApplicableRules, getIdPredicates, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPermutationUnifiers, getPredicates, getSpecificTypeConstraints, getTypeConstraints, getValuePredicates, getVarProperties, inferTypes, isAtom, isRecursive, isRelation, isResource, isRuleApplicable, isRuleResolvable, isType, requiresMaterialisation, 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, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

isAllowedToFormRuleHead, isPredicate, isSelectable, validateOntologically

Method Detail

getPredicateVariable

public Var getPredicateVariable()

Specified by:

getPredicateVariable in class Atom

Returns:

value variable name

getPredicate

public IdPredicate getPredicate()

getOntologyConcept

@Nullable
public OntologyConcept getOntologyConcept()

Specified by:

getOntologyConcept 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()

Returns:

equivalence hash code

isEquivalent

public boolean isEquivalent(Object obj)

Returns:

true if atom alpha-equivalent

getCombinedPattern

public PatternAdmin getCombinedPattern()

Specified by:

getCombinedPattern in interface Atomic

Overrides:

getCombinedPattern in class AtomicBase

Returns:

the base pattern combined with possible predicate patterns

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

getVarNames

public Set<Var> getVarNames()

Specified by:

getVarNames in interface Atomic

Overrides:

getVarNames in class AtomicBase

Returns:

all addressable variable names in the atom

getUnifier

public Unifier getUnifier(Atom parentAtom)

Description copied from class: Atom

find unifier with parent atom

Specified by:

getUnifier in class Atom

Parameters:

parentAtom - atom to be unified with

Returns:

unifier