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

Direct Known Subclasses:

HasRole, 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, Query par)
	TypeAtom(VarAdmin pattern, Query par)

Method Summary

Modifier and Type	Method and Description
Atomic	clone()
protected ConceptId	extractTypeId(VarAdmin var)
protected VarName	extractValueVariableName(VarAdmin var)
Set<Predicate>	getIdPredicates()
Type	getType()
boolean	isType()
protected void	setValueVariable(VarName var)

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

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

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

equals, getLinkedAtoms, getPredicates, getSelectedNames, getUnifiers, getValuePredicates, getValueVariable, getVarNames, hashCode, isBinary, isEquivalent, isRuleApplicable, requiresMaterialisation

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

getApplicableRules, getRoleVarTypeMap, getTypeConstraints, getTypeId, getVarTypeRoleMap, inferTypes, isAtom, isRecursive, isRelation, isResource, isRuleResolvable, rewrite

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

containsVar, getParentQuery, getPattern, getVarName, isUserDefinedName, resetNames, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface ai.grakn.graql.internal.reasoner.atom.Atomic

isPredicate, isSelectable

Constructor Detail

TypeAtom

public TypeAtom(VarAdmin pattern,
                Query par)

TypeAtom

public TypeAtom(VarAdmin pattern,
                IdPredicate p,
                Query 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

clone

public Atomic clone()

Specified by:

clone in interface Atomic

Specified by:

clone in class AtomBase

isType

public boolean isType()

Overrides:

isType in class Atom

Returns:

true if the atom corresponds to a atom

getType

public Type getType()

Overrides:

getType in class Atom

Returns:

corresponding type if any

getIdPredicates

public Set<Predicate> getIdPredicates()

Overrides:

getIdPredicates in class BinaryBase

Returns:

set of id predicates relevant to this atom