| Modifier and Type | Method and Description |
|---|---|
Set<TypeAtom> |
Atom.getSpecificTypeConstraints() |
Set<TypeAtom> |
Atom.getTypeConstraints() |
| Modifier and Type | Class and Description |
|---|---|
class |
RelationAtom
Atom implementation defining a relation atom corresponding to a combined
RelationProperty
and (optional) IsaProperty. |
| Modifier and Type | Method and Description |
|---|---|
Set<TypeAtom> |
ResourceAtom.getSpecificTypeConstraints() |
Set<TypeAtom> |
RelationAtom.getSpecificTypeConstraints() |
abstract Set<TypeAtom> |
TypeAtom.unify(Unifier u) |
| Constructor and Description |
|---|
TypeAtom(TypeAtom a) |
| Modifier and Type | Class and Description |
|---|---|
class |
HasAtom
TypeAtom corresponding to graql a
HasResourceTypeProperty property. |
class |
IsaAtom
TypeAtom corresponding to graql a
IsaProperty property. |
class |
PlaysAtom
TypeAtom corresponding to graql a
PlaysProperty property. |
class |
RelatesAtom
TypeAtom corresponding to a graql
RelatesProperty property. |
class |
ScopeAtom
TypeAtom corresponding to a graql
HasScopeProperty property. |
class |
SubAtom
TypeAtom corresponding to graql a
SubProperty property. |
| Modifier and Type | Method and Description |
|---|---|
Set<TypeAtom> |
SubAtom.unify(Unifier u) |
Set<TypeAtom> |
ScopeAtom.unify(Unifier u) |
Set<TypeAtom> |
RelatesAtom.unify(Unifier u) |
Set<TypeAtom> |
PlaysAtom.unify(Unifier u) |
Set<TypeAtom> |
IsaAtom.unify(Unifier u) |
Set<TypeAtom> |
HasAtom.unify(Unifier u) |
| Constructor and Description |
|---|
IsaAtom(TypeAtom a) |
| Modifier and Type | Method and Description |
|---|---|
Set<TypeAtom> |
ReasonerQueryImpl.getTypeConstraints() |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
QueryAnswerStream.entityTypeFilter(Answer answer,
Set<TypeAtom> types) |
Copyright © 2017 Grakn Labs Ltd. All rights reserved.