| Modifier and Type | Method and Description |
|---|---|
Atomic |
Atomic.copy() |
Atomic |
VarProperty.mapToAtom(VarAdmin var,
Set<VarAdmin> vars,
ReasonerQuery parent)
maps this var property to a reasoner atom
|
| Modifier and Type | Method and Description |
|---|---|
Set<Atomic> |
ReasonerQuery.getAtoms() |
| Modifier and Type | Method and Description |
|---|---|
Map<VarName,VarName> |
Atomic.getUnifiers(Atomic parentAtom) |
| Modifier and Type | Class and Description |
|---|---|
class |
Atom
Atom implementation defining specialised functionalities.
|
class |
AtomBase
Base atom implementation providing basic functionalities.
|
class |
NotEquals
Implementation of atom corresponding to graql NotEquals property.
|
| Modifier and Type | Method and Description |
|---|---|
Atomic |
NotEquals.copy() |
abstract Atomic |
AtomBase.copy() |
static Atomic |
AtomicFactory.create(Atomic atom,
ReasonerQuery parent) |
| Modifier and Type | Method and Description |
|---|---|
static Set<Atomic> |
AtomicFactory.createAtomSet(Conjunction<VarAdmin> pattern,
ReasonerQuery parent) |
| Modifier and Type | Method and Description |
|---|---|
static Atomic |
AtomicFactory.create(Atomic atom,
ReasonerQuery parent) |
Map<VarName,VarName> |
AtomBase.getUnifiers(Atomic parentAtom)
get unifiers by comparing this atom with parent
|
| Modifier and Type | Class and Description |
|---|---|
class |
Binary
Base implementation for binary atoms with single predicate.
|
class |
BinaryBase
Base implementation for binary atoms of the type ($varName, $valueVariable), where value variable
references predicates.
|
class |
MultiPredicateBinary
Base implementation for binary atoms with multiple predicate.
|
class |
Relation
Atom implementation defining a relation atom.
|
class |
Resource
Atom implementation defining a resource atom.
|
class |
TypeAtom
Atom implementation defining type atoms of the type $varName {isa|sub|plays-role|has-resource|has-scope} $valueVariable)
|
| Modifier and Type | Method and Description |
|---|---|
Atomic |
TypeAtom.copy() |
Atomic |
Resource.copy() |
Atomic |
Relation.copy() |
| Modifier and Type | Method and Description |
|---|---|
Map<VarName,VarName> |
Relation.getUnifiers(Atomic pAtom) |
Map<VarName,VarName> |
BinaryBase.getUnifiers(Atomic parentAtom) |
| Modifier and Type | Class and Description |
|---|---|
class |
IdPredicate
Predicate implementation specialising it to be an id predicate.
|
class |
Predicate<T>
Atom implementation serving as base class for predicate implementations.
|
class |
ValuePredicate
Predicate implementation specialising it to be an value predicate.
|
| Modifier and Type | Method and Description |
|---|---|
Atomic |
ValuePredicate.copy() |
Atomic |
IdPredicate.copy() |
| Modifier and Type | Method and Description |
|---|---|
Map<VarName,VarName> |
Predicate.getUnifiers(Atomic parentAtom) |
| Modifier and Type | Class and Description |
|---|---|
class |
DataTypeAtom
Atomic corresponding to graql DataTypeProperty.
|
class |
IsAbstractAtom
Atomic corresponding to graql IsAbstractProperty.
|
class |
RegexAtom
Atomic corresponding to graql RegexProperty.
|
| Modifier and Type | Method and Description |
|---|---|
Atomic |
RegexAtom.copy() |
Atomic |
IsAbstractAtom.copy() |
Atomic |
DataTypeAtom.copy() |
| Modifier and Type | Method and Description |
|---|---|
Set<Atomic> |
ReasonerQueryImpl.getAtoms() |
Set<Atomic> |
ReasonerQueryImpl.getEquivalentAtoms(Atomic atom) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
ReasonerQueryImpl.addAtom(Atomic atom) |
boolean |
ReasonerAtomicQuery.addAtom(Atomic at) |
boolean |
ReasonerQueryImpl.containsEquivalentAtom(Atomic atom) |
Set<Atomic> |
ReasonerQueryImpl.getEquivalentAtoms(Atomic atom) |
boolean |
ReasonerQueryImpl.removeAtom(Atomic atom) |
boolean |
ReasonerAtomicQuery.removeAtom(Atomic at) |
| Modifier and Type | Method and Description |
|---|---|
void |
ReasonerQueryImpl.addAtomConstraints(Set<? extends Atomic> cstrs)
adds a set of constraints (types, predicates) to the atom set
|
Copyright © 2017 Grakn Labs Ltd. All rights reserved.