commonMain.it.unibo.tuprolog.collections.rete.custom.Cacheable.kt Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of theory-metadata Show documentation
Show all versions of theory-metadata Show documentation
In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses
package it.unibo.tuprolog.collections.rete.custom
import it.unibo.tuprolog.collections.rete.custom.clause.SituatedIndexedClause
/**Marks a Class as capable of managing a cache of [SituatedIndexedClause].*/
internal interface Cacheable {
/** Retrieves the cache of the current level in the indexing tree */
fun getCache(): Sequence
/**Forcefully invalidate the node cache and all of its subtree cache*/
fun invalidateCache()
}