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

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

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

All Implemented Interfaces:

Atomic

Direct Known Subclasses:

Relation

public class TypeAtom
extends Binary

Atom implementation defining type atoms of the general form: $varName {isa|sub|plays|relates|has|has-scope} $valueVariable). These correspond to the following respective graql properties: IsaProperty, SubProperty, PlaysProperty RelatesProperty HasResourceTypeProperty HasScopeProperty

Author:

Kasper Piskorski

Field Summary

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

applicableRules, typeId

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

atomPattern

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TypeAtom(TypeAtom a)
	TypeAtom(VarPatternAdmin pattern, IdPredicate p, ReasonerQuery par)
	TypeAtom(VarPatternAdmin pattern, ReasonerQuery par)
	TypeAtom(Var var, Var valueVar, ConceptId typeId, ReasonerQuery par)
	TypeAtom(Var var, Var valueVar, 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
Atomic	copy()
boolean	equals(Object obj)
protected ConceptId	extractTypeId()
protected Var	extractValueVariableName(VarPatternAdmin var)
Type	getType()
int	hashCode()
boolean	isAllowedToFormRuleHead()
boolean	isRuleApplicable(InferenceRule child)
boolean	isSelectable()
boolean	isType()
boolean	requiresMaterialisation()
protected void	setValueVariable(Var var)
String	toString()
Set<TypeAtom>	unify(Unifier u)

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

equivalenceHashCode, getCombinedPattern, getPredicate, hasEquivalentPredicatesWith, setParentQuery

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

getUnifier, getValueVariable, getVarNames, isEquivalent

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

baseResolutionPriority, computePriority, getApplicableRules, getIdPredicates, getMappedTypeConstraints, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPermutationUnifiers, getPredicates, getTypeConstraints, getTypeId, getUnmappedIdPredicates, getUnmappedTypeConstraints, getValuePredicates, inferTypes, isAtom, isRecursive, isRelation, isResource, isRuleResolvable, rewriteToUserDefined

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

containsVar, getParentQuery, getPattern, getVarName, graph, isUserDefinedName

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

Constructor Detail

TypeAtom

public TypeAtom(VarPatternAdmin pattern,
                ReasonerQuery par)

TypeAtom

public TypeAtom(VarPatternAdmin pattern,
                IdPredicate p,
                ReasonerQuery par)

TypeAtom

public TypeAtom(Var var,
                Var valueVar,
                ConceptId typeId,
                ReasonerQuery par)

TypeAtom

public TypeAtom(Var var,
                Var valueVar,
                IdPredicate p,
                ReasonerQuery par)

TypeAtom

protected TypeAtom(TypeAtom a)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class BinaryBase

equals

public boolean equals(Object obj)

Overrides:

equals in class BinaryBase

toString

public String toString()

Overrides:

toString in class AtomicBase

extractTypeId

protected ConceptId extractTypeId()

Specified by:

extractTypeId in class Binary

extractValueVariableName

protected Var extractValueVariableName(VarPatternAdmin var)

Specified by:

extractValueVariableName in class BinaryBase

setValueVariable

protected void setValueVariable(Var var)

copy

public Atomic copy()

Specified by:

copy in interface Atomic

Specified by:

copy in class AtomicBase

unify

public Set<TypeAtom> unify(Unifier u)

isType

public boolean isType()

Overrides:

isType in class Atom

Returns:

true if the atom corresponds to a atom

isRuleApplicable

public boolean isRuleApplicable(InferenceRule child)

Specified by:

isRuleApplicable in class Atom

isSelectable

public boolean isSelectable()

isAllowedToFormRuleHead

public boolean isAllowedToFormRuleHead()

Overrides:

isAllowedToFormRuleHead in class Atom

Returns:

true if the atom can constitute a head of a rule

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

getType

public Type getType()

Overrides:

getType in class Atom

Returns:

corresponding type if any