commonMain.it.unibo.tuprolog.collections.rete.custom.TopLevelReteNode.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.core.Clause
/**Interface aimed at marking a particular member of the [ReteTree] as capable of enough
* foreseeing to take strong decisions upon the actions to be performed on the subtrees it branches on
*/
internal interface TopLevelReteNode : ReteNode {
/**Retracts the first matching occurrence of the given [Clause] from this [ReteTree]*/
fun retractFirst(clause: Clause): Sequence
}