theory/it.unibo.tuprolog.collections/MutableClauseMultiSet

MutableClauseMultiSet

interface MutableClauseMultiSet : ClauseMultiSet

A ClauseMultiSet that mutates itself in place; see MutableClauseCollection for why this trades away immutability.

Types

object Companion

Properties

abstract val directives: Iterable<Directive>

Only the clauses in this collection that are Directives.

abstract val rules: Iterable<Rule>

Only the clauses in this collection that are Rules.

abstract val size: Int

Computes the size of the ClauseCollection

abstract val unificator: Unificator

The Unificator used to match clauses against each other in this collection.

Functions

abstract override fun add(clause: Clause): MutableClauseMultiSet

Adds the given Clause to this MutableClauseMultiSet, mutating it in place, and returns this

abstract override fun addAll(clauses: Iterable<Clause>): MutableClauseMultiSet

Adds all the given Clause to this MutableClauseMultiSet, mutating it in place, and returns this

abstract operator fun contains(element: Clause): Boolean

Tells if the ClauseCollection contains a clause unifying against the given element

abstract fun containsAll(elements: Iterable<Clause>): Boolean

Tells if, for each of the given elements, the ClauseCollection contains a unifying clause

abstract fun count(clause: Clause): Long

Gives the number of Clause that would unify over the given clause.

abstract operator fun get(clause: Clause): Sequence<Clause>

Produces a Sequence of the clauses that would unify over the given Clause.

abstract fun isEmpty(): Boolean

Tells if the ClauseCollection contains any Clause

abstract fun isNonEmpty(): Boolean

Tells if the ClauseCollection contains at least one Clause; the negation of isEmpty.

abstract operator override fun iterator(): Iterator<Clause>

Iterates over all the clauses in this collection, in an order that depends on the concrete implementation (e.g. insertion order for a ClauseQueue, unspecified for a ClauseMultiSet).

abstract override fun retrieve(clause: Clause): RetrieveResult<out MutableClauseMultiSet>

Removes the first Clause unifying the given one from this MutableClauseMultiSet, mutating it in place, and returns the outcome as a RetrieveResult

abstract override fun retrieveAll(clause: Clause): RetrieveResult<out MutableClauseMultiSet>

Removes all the Clauses unifying the given one from this MutableClauseMultiSet, mutating it in place, and returns the outcome as a RetrieveResult