| Package | Description |
|---|---|
| ai.grakn.graql.internal.reasoner.atom.binary | |
| ai.grakn.graql.internal.reasoner.atom.binary.type |
| Modifier and Type | Class and Description |
|---|---|
class |
RelationAtom
Atom implementation defining a relation atom corresponding to a combined
RelationProperty
and (optional) IsaProperty. |
class |
ResourceAtom
Atom implementation defining a resource atom corresponding to a
HasResourceProperty. |
class |
TypeAtom
Atom implementation defining type atoms of the general form:
{isa|sub|plays|relates|has|has-scope}($varName, $predicateVariable)
Type atoms correspond to the following respective graql properties:
IsaProperty,
SubProperty,
PlaysProperty
RelatesProperty
HasResourceTypeProperty
HasScopeProperty |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
ResourceAtom.hasEquivalentPredicatesWith(Binary at) |
protected boolean |
Binary.hasEquivalentPredicatesWith(Binary atom) |
| 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. |
Copyright © 2017 Grakn Labs Ltd. All rights reserved.