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

Class TypeAtom

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

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

All Implemented Interfaces:

Atomic

Direct Known Subclasses:

HasAtom, IsaAtom, PlaysAtom, RelatesAtom, SubAtom

public abstract class TypeAtom
extends Binary

Atom implementation defining type atoms of the general form: {isa|sub|plays|relates|has}($varName, $predicateVariable) Type atoms correspond to the following respective graql properties: IsaProperty, SubProperty, PlaysProperty RelatesProperty HasResourceTypeProperty

Author:

Kasper Piskorski

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TypeAtom(TypeAtom a)
protected	TypeAtom(VarPatternAdmin pattern, Var predicateVar, IdPredicate p, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
int	computePriority(Set<Var> subbedVars) compute resolution priority based on provided substitution variables
boolean	equals(Object obj)
SchemaConcept	getSchemaConcept()
int	hashCode()
boolean	isRuleApplicableViaAtom(Atom ruleAtom)
boolean	isSelectable()
boolean	isType()
boolean	requiresMaterialisation()
abstract Set<TypeAtom>	unify(Unifier u)

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

equivalenceHashCode, getCombinedPattern, getInnerPredicates, getPredicateVariable, getTypeId, getTypePredicate, getUnifier, getVarNames, isEquivalent, setParentQuery

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

addType, atomOptions, baseResolutionPriority, getApplicableRules, getIdPredicate, getInnerPredicates, getMultiUnifier, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPredicate, getPredicates, getPredicates, getRoleExpansionVariables, getSpecificTypeConstraints, getTypeConstraints, getVarProperties, inferTypes, isAtom, isRecursive, isRuleResolvable, 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, finalize, getClass, notify, notifyAll, wait, wait, wait

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

isAllowedToFormRuleHead, isPredicate, isRelation, isResource, validateOntologically

Constructor Detail

TypeAtom

protected TypeAtom(VarPatternAdmin pattern,
                   Var predicateVar,
                   @Nullable
                   IdPredicate p,
                   ReasonerQuery par)

TypeAtom

protected TypeAtom(TypeAtom a)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

isType

public boolean isType()

isRuleApplicableViaAtom

public boolean isRuleApplicableViaAtom(Atom ruleAtom)

Specified by:

isRuleApplicableViaAtom in class Atom

isSelectable

public boolean isSelectable()

requiresMaterialisation

public boolean requiresMaterialisation()

Overrides:

requiresMaterialisation in class Atom

Returns:

true if the atom requires materialisation in order to be referenced

computePriority

public int computePriority(Set<Var> subbedVars)

Description copied from class: Atom

compute resolution priority based on provided substitution variables

Overrides:

computePriority in class Atom

Parameters:

subbedVars - variables having a substitution

Returns:

resolution priority value

getSchemaConcept

@Nullable
public SchemaConcept getSchemaConcept()

Overrides:

getSchemaConcept in class Binary

Returns:

corresponding type if any

unify

public abstract Set<TypeAtom> unify(Unifier u)

Parameters:

u - unifier to be applied

Returns:

set of type atoms resulting from applying the unifier