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

Class TypeAtom

java.lang.Object

ai.grakn.graql.internal.reasoner.atom.AtomBase

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 type $varName {isa|sub|plays-role|has-resource|has-scope} $valueVariable)

Author:

Kasper Piskorski

Field Summary

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

type, typeId

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

atomPattern, varName

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TypeAtom(TypeAtom a)
	TypeAtom(VarAdmin pattern, IdPredicate p, ReasonerQuery par)
	TypeAtom(VarAdmin pattern, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
Atomic	copy()
protected ConceptId	extractTypeId(VarAdmin var)
protected VarName	extractValueVariableName(VarAdmin var)
Type	getType()
boolean	isSelectable()
boolean	isType()
protected void	setValueVariable(VarName var)

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

equivalenceHashCode, getCombinedPattern, getPredicate, predicatesEquivalent, setParentQuery, setPredicate, unify

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

equals, getLinkedAtoms, getUnifiers, getValueVariable, getVarNames, hashCode, isBinary, isEquivalent, isRuleApplicable, requiresMaterialisation

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

getApplicableRules, getIdPredicates, getMappedTypeConstraints, getPermutationUnifiers, getPredicates, getRoleVarTypeMap, getTypeConstraints, getTypeId, getUnmappedIdPredicates, getUnmappedTypeConstraints, getValuePredicates, inferTypes, isAtom, isRecursive, isRelation, isResource, isRuleResolvable, rewriteToUserDefined, rewriteToUserDefinedWithUnifiers

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

containsVar, 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

Constructor Detail

TypeAtom

public TypeAtom(VarAdmin pattern,
                ReasonerQuery par)

TypeAtom

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

TypeAtom

protected TypeAtom(TypeAtom a)

Method Detail

extractTypeId

protected ConceptId extractTypeId(VarAdmin var)

Specified by:

extractTypeId in class Binary

extractValueVariableName

protected VarName extractValueVariableName(VarAdmin var)

Specified by:

extractValueVariableName in class BinaryBase

setValueVariable

protected void setValueVariable(VarName var)

Overrides:

setValueVariable in class BinaryBase

copy

public Atomic copy()

Specified by:

copy in interface Atomic

Specified by:

copy in class AtomBase

isType

public boolean isType()

Overrides:

isType in class Atom

Returns:

true if the atom corresponds to a atom

isSelectable

public boolean isSelectable()

Returns:

true if the atom can form an atomic query

getType

public Type getType()

Overrides:

getType in class Atom

Returns:

corresponding type if any