| Package | Description |
|---|---|
| io.mindmaps.graql.internal.reasoner | |
| io.mindmaps.graql.internal.reasoner.predicate | |
| io.mindmaps.graql.internal.reasoner.query | |
| io.mindmaps.graql.internal.reasoner.rule |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
Utility.checkAtomsCompatible(Atomic a,
Atomic b) |
| Modifier and Type | Class and Description |
|---|---|
class |
AtomBase |
class |
Relation |
class |
Resource |
class |
Substitution |
class |
Type |
class |
ValuePredicate |
| Modifier and Type | Method and Description |
|---|---|
Atomic |
ValuePredicate.clone() |
Atomic |
Type.clone() |
Atomic |
Substitution.clone() |
Atomic |
Resource.clone() |
Atomic |
Relation.clone() |
Atomic |
Atomic.clone() |
abstract Atomic |
AtomBase.clone() |
static Atomic |
AtomicFactory.create(Atomic atom,
Query parent) |
static Atomic |
AtomicFactory.create(PatternAdmin pattern) |
static Atomic |
AtomicFactory.create(PatternAdmin pattern,
Query parent) |
| Modifier and Type | Method and Description |
|---|---|
static Set<Atomic> |
AtomicFactory.createAtomSet(Conjunction<PatternAdmin> pattern,
Query parent) |
Set<Atomic> |
Atomic.getSubstitutions() |
Set<Atomic> |
AtomBase.getSubstitutions() |
Set<Atomic> |
Atomic.getTypeConstraints() |
Set<Atomic> |
AtomBase.getTypeConstraints() |
Set<Atomic> |
Resource.getValuePredicates() |
Set<Atomic> |
Atomic.getValuePredicates() |
Set<Atomic> |
AtomBase.getValuePredicates() |
Map<String,Atomic> |
Atomic.getVarSubMap() |
Map<String,Atomic> |
AtomBase.getVarSubMap() |
| Modifier and Type | Method and Description |
|---|---|
static Atomic |
AtomicFactory.create(Atomic atom,
Query parent) |
Map<String,String> |
Resource.getUnifiers(Atomic parentAtom) |
Map<String,String> |
Atomic.getUnifiers(Atomic parentAtom) |
Map<String,String> |
AtomBase.getUnifiers(Atomic parentAtom) |
| Modifier and Type | Field and Description |
|---|---|
protected Set<Atomic> |
Query.atomSet |
| Modifier and Type | Method and Description |
|---|---|
Atomic |
AtomicQuery.getAtom() |
| Modifier and Type | Method and Description |
|---|---|
Set<Atomic> |
Query.getAtoms() |
Set<Atomic> |
Query.getSubstitutions() |
Set<Atomic> |
Query.getTypeConstraints() |
Set<Atomic> |
Query.getValuePredicates() |
Set<Atomic> |
Query.selectAtoms()
atom selection function
|
Set<Atomic> |
AtomicQuery.selectAtoms() |
| Modifier and Type | Method and Description |
|---|---|
protected void |
Query.addAtom(Atomic atom) |
boolean |
Query.containsAtom(Atomic atom) |
protected void |
Query.removeAtom(Atomic atom) |
| Modifier and Type | Method and Description |
|---|---|
void |
Query.addAtomConstraints(Set<Atomic> subs) |
| Constructor and Description |
|---|
AtomicMatchQuery(Atomic atom) |
AtomicQuery(Atomic at) |
Query(Atomic atom) |
| Modifier and Type | Method and Description |
|---|---|
Atomic |
InferenceRule.getRuleConclusionAtom() |
| Modifier and Type | Method and Description |
|---|---|
void |
InferenceRule.unify(Atomic parentAtom)
make child query consistent by performing variable substitution so that parent variables are propagated
|
Copyright © 2016. All rights reserved.