ai.grakn.graql.internal.reasoner.cache

Class QueryCacheBase<Q extends ReasonerQueryImpl,S extends Iterable<ConceptMap>>

java.lang.Object

ai.grakn.graql.internal.reasoner.cache.QueryCacheBase<Q,S>

Type Parameters:

Q - the type of query that is being cached

S - the type of answer being cached

All Implemented Interfaces:

QueryCache<Q,S>

Direct Known Subclasses:

LazyQueryCache, SimpleQueryCache

public abstract class QueryCacheBase<Q extends ReasonerQueryImpl,S extends Iterable<ConceptMap>>
extends Object
implements QueryCache<Q,S>

Base class for storing query resolutions based on alpha-equivalence. A one-to-one mapping is ensured between queries and entries. On retrieval, a relevant entry is identified by means of a query alpha-equivalence check.

Author:

Kasper Piskorski

Method Summary

Modifier and Type	Method and Description
void	clear() Clear the cache
boolean	contains(Q query) Query cache containment check
abstract Pair<java.util.stream.Stream<ConceptMap>,MultiUnifier>	getAnswerStreamWithUnifier(Q query)
abstract Pair<S,MultiUnifier>	getAnswersWithUnifier(Q query)
Set<Q>	getQueries()
void	merge(QueryCacheBase<Q,S> c2) Perform cache union
RuleCache	ruleCache()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface ai.grakn.graql.internal.reasoner.cache.QueryCache

getAnswers, getAnswerStream, record, record, record

Method Detail

contains

public boolean contains(Q query)

Description copied from interface: QueryCache

Query cache containment check

Specified by:

contains in interface QueryCache<Q extends ReasonerQueryImpl,S extends Iterable<ConceptMap>>

Parameters:

query - to be checked for containment

Returns:

true if cache contains the query

getQueries

public Set<Q> getQueries()

Specified by:

getQueries in interface QueryCache<Q extends ReasonerQueryImpl,S extends Iterable<ConceptMap>>

Returns:

all queries contained in this cache

merge

public void merge(QueryCacheBase<Q,S> c2)

Description copied from interface: QueryCache

Perform cache union

Specified by:

merge in interface QueryCache<Q extends ReasonerQueryImpl,S extends Iterable<ConceptMap>>

Parameters:

c2 - union right operand

clear

public void clear()

Description copied from interface: QueryCache

Clear the cache

Specified by:

clear in interface QueryCache<Q extends ReasonerQueryImpl,S extends Iterable<ConceptMap>>

ruleCache

public RuleCache ruleCache()

getAnswersWithUnifier

public abstract Pair<S,MultiUnifier> getAnswersWithUnifier(Q query)

getAnswerStreamWithUnifier

public abstract Pair<java.util.stream.Stream<ConceptMap>,MultiUnifier> getAnswerStreamWithUnifier(Q query)