ai.grakn.graql.internal.reasoner.query

Class ReasonerAtomicQuery

java.lang.Object

ai.grakn.graql.internal.reasoner.query.ReasonerQueryImpl

ai.grakn.graql.internal.reasoner.query.ReasonerAtomicQuery

All Implemented Interfaces:

ReasonerQuery

public class ReasonerAtomicQuery
extends ReasonerQueryImpl

Base reasoner atomic query. An atomic query is a query constrained to having at most one rule-resolvable atom together with its accompanying constraints (predicates and types).

Author:

Kasper Piskorski

Method Summary

Modifier and Type	Method and Description
boolean	addAtomic(Atomic at)
ReasonerQuery	copy()
boolean	equals(Object obj)
Atom	getAtom()
Unifier	getUnifier(ReasonerQuery p)
int	hashCode()
boolean	isAtomic()
Iterator<Answer>	iterator(Answer sub, Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)
java.util.stream.Stream<Answer>	lookup(Cache<ReasonerAtomicQuery,?> cache) resolve the query by performing either a db or memory lookup, depending on which is more appropriate
java.util.stream.Stream<Answer>	materialise(Answer answer)
boolean	removeAtomic(Atomic at)
java.util.stream.Stream<Answer>	resolve(boolean materialise, boolean explanation, LazyQueryCache<ReasonerAtomicQuery> cache, LazyQueryCache<ReasonerAtomicQuery> dCache) resolves the query
Set<Atom>	selectAtoms() atom selection function
String	toString()

Methods inherited from class ai.grakn.graql.internal.reasoner.query.ReasonerQueryImpl

addAtomConstraints, getAtoms, getIdPredicate, getIdPredicates, getMatchQuery, getPattern, getPredicates, getTypeConstraints, getValuePredicates, getVarNames, getVarTypeMap, graph, isEquivalent, isRuleResolvable, resolutionPriority, resolve

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

copy

public ReasonerQuery copy()

Specified by:

copy in interface ReasonerQuery

Overrides:

copy in class ReasonerQueryImpl

toString

public String toString()

Overrides:

toString in class ReasonerQueryImpl

equals

public boolean equals(Object obj)

Overrides:

equals in class ReasonerQueryImpl

hashCode

public int hashCode()

Overrides:

hashCode in class ReasonerQueryImpl

isAtomic

public boolean isAtomic()

getAtom

public Atom getAtom()

Returns:

the atom constituting this atomic query

addAtomic

public boolean addAtomic(Atomic at)

Overrides:

addAtomic in class ReasonerQueryImpl

Parameters:

at - to be added

Returns:

true if the atom set did not already contain the specified atom

removeAtomic

public boolean removeAtomic(Atomic at)

Overrides:

removeAtomic in class ReasonerQueryImpl

Parameters:

at - to be removed

Returns:

true if the atom set contained the specified atom

selectAtoms

public Set<Atom> selectAtoms()

Description copied from class: ReasonerQueryImpl

atom selection function

Overrides:

selectAtoms in class ReasonerQueryImpl

Returns:

selected atoms

getUnifier

public Unifier getUnifier(ReasonerQuery p)

Specified by:

getUnifier in interface ReasonerQuery

Overrides:

getUnifier in class ReasonerQueryImpl

lookup

public java.util.stream.Stream<Answer> lookup(Cache<ReasonerAtomicQuery,?> cache)

resolve the query by performing either a db or memory lookup, depending on which is more appropriate

Parameters:

cache - container of already performed query resolutions

materialise

public java.util.stream.Stream<Answer> materialise(Answer answer)

resolve

public java.util.stream.Stream<Answer> resolve(boolean materialise,
                                               boolean explanation,
                                               LazyQueryCache<ReasonerAtomicQuery> cache,
                                               LazyQueryCache<ReasonerAtomicQuery> dCache)

Description copied from class: ReasonerQueryImpl

resolves the query

Parameters:

materialise - materialisation flag

Returns:

stream of answers

iterator

public Iterator<Answer> iterator(Answer sub,
                                 Set<ReasonerAtomicQuery> subGoals,
                                 QueryCache<ReasonerAtomicQuery> cache)

Overrides:

iterator in class ReasonerQueryImpl