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 Show documentation

In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

The newest version!

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)
}