commonMain.it.unibo.tuprolog.collections.rete.custom.Retractable.kt Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of theory-jvm Show documentation
Show all versions of theory-jvm 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
/**Functional Interface aimed at marking a particular member of the [ReteTree] able of effectfully remove
* the given [SituatedIndexedClause] from the storage*/
internal interface Retractable {
/**Removes the given [SituatedIndexedClause] from the storage of this node*/
fun retractIndexed(indexed: SituatedIndexedClause)
}