Uses of Class
ai.grakn.graql.internal.reasoner.atom.binary.TypeAtom

Packages that use TypeAtom

Package	Description
ai.grakn.graql.internal.reasoner.atom
ai.grakn.graql.internal.reasoner.atom.binary
ai.grakn.graql.internal.reasoner.utils

Uses of TypeAtom in ai.grakn.graql.internal.reasoner.atom

Methods in ai.grakn.graql.internal.reasoner.atom that return types with arguments of type TypeAtom

Modifier and Type	Method and Description
java.util.stream.Stream<TypeAtom>	Atom.getTypeConstraints()

Uses of TypeAtom in ai.grakn.graql.internal.reasoner.atom.binary

Subclasses of TypeAtom in ai.grakn.graql.internal.reasoner.atom.binary

Modifier and Type	Class and Description
class	HasAtom TypeAtom corresponding to graql a HasAttributeTypeProperty property.
class	IsaAtom TypeAtom corresponding to graql a IsaProperty property.
class	IsaAtomBase Base class for isa atoms.
class	OntologicalAtom Base class for defining ontological Atom - ones referring to ontological elements.
class	PlaysAtom TypeAtom corresponding to graql a PlaysProperty property.
class	RelatesAtom TypeAtom corresponding to a graql RelatesProperty property.
class	RelationshipAtom Atom implementation defining a relation atom corresponding to a combined RelationshipProperty and (optional) IsaProperty.
class	SubAtom TypeAtom corresponding to graql a SubProperty property.

Methods in ai.grakn.graql.internal.reasoner.atom.binary that return types with arguments of type TypeAtom

Modifier and Type	Method and Description
abstract Set<TypeAtom>	TypeAtom.unify(Unifier u)
Set<TypeAtom>	IsaAtomBase.unify(Unifier u)
Set<TypeAtom>	OntologicalAtom.unify(Unifier u)

Uses of TypeAtom in ai.grakn.graql.internal.reasoner.utils

Method parameters in ai.grakn.graql.internal.reasoner.utils with type arguments of type TypeAtom

Modifier and Type	Method and Description
static Unifier	ReasonerUtils.typeUnifier(Set<TypeAtom> childTypes, Set<TypeAtom> parentTypes, Unifier childParentUnifier, UnifierComparison unifierType)
static Unifier	ReasonerUtils.typeUnifier(Set<TypeAtom> childTypes, Set<TypeAtom> parentTypes, Unifier childParentUnifier, UnifierComparison unifierType)