| Package | Description |
|---|---|
| ai.grakn.graql.internal.reasoner.atom | |
| ai.grakn.graql.internal.reasoner.atom.binary | |
| ai.grakn.graql.internal.reasoner.query | |
| ai.grakn.graql.internal.reasoner.rule |
| Modifier and Type | Method and Description |
|---|---|
Set<Atom> |
Atom.getTypeConstraints() |
javafx.util.Pair<Atom,Map<String,String>> |
Atom.rewrite(Atom parent,
Query q) |
| Modifier and Type | Method and Description |
|---|---|
javafx.util.Pair<Atom,Map<String,String>> |
Atom.rewrite(Atom parent,
Query q) |
| Constructor and Description |
|---|
Atom(Atom a) |
| Modifier and Type | Class and Description |
|---|---|
class |
Binary |
class |
HasRole |
class |
Relation |
class |
Resource |
class |
TypeAtom |
| Modifier and Type | Method and Description |
|---|---|
Set<Atom> |
Binary.getLinkedAtoms() |
javafx.util.Pair<Atom,Map<String,String>> |
Relation.rewrite(Atom parentAtom,
Query parent) |
| Modifier and Type | Method and Description |
|---|---|
javafx.util.Pair<Atom,Map<String,String>> |
Relation.rewrite(Atom parentAtom,
Query parent) |
| Modifier and Type | Method and Description |
|---|---|
Atom |
AtomicQuery.getAtom() |
| Modifier and Type | Method and Description |
|---|---|
Set<Atom> |
Query.getResources() |
Set<Atom> |
Query.getTypeConstraints() |
Set<Atom> |
Query.selectAtoms()
atom selection function
|
Set<Atom> |
AtomicQuery.selectAtoms() |
| Constructor and Description |
|---|
AtomicMatchQuery(Atom atom,
Set<String> vars) |
AtomicQuery(Atom at,
Set<String> vars) |
Query(Atom atom,
Set<String> vars) |
| Modifier and Type | Method and Description |
|---|---|
Atom |
InferenceRule.getRuleConclusionAtom() |
| Modifier and Type | Method and Description |
|---|---|
void |
InferenceRule.unify(Atom parentAtom)
make child query consistent by performing variable IdPredicate so that parent variables are propagated
|
Copyright © 2016 Grakn Labs Ltd. All rights reserved.