theory/it.unibo.tuprolog.collections/MutableClauseCollection

MutableClauseCollection

interface MutableClauseCollection : ClauseCollection

Types

object Companion

Functions

abstract override fun add(clause: <ERROR CLASS>): MutableClauseCollection

Adds the given Clause to this MutableClauseCollection.

abstract override fun addAll(clauses: Iterable<<ERROR CLASS>>): MutableClauseCollection

Adds all the given Clause to this MutableClauseCollection

abstract operator fun contains(element: <ERROR CLASS>): Boolean

Tells if the ClauseCollection contains the given Clause

abstract fun containsAll(elements: Iterable<<ERROR CLASS>>): Boolean

Tells if the ClauseCollection contains all the given Clause

abstract fun isEmpty(): Boolean

Tells if the ClauseCollection contains any Clause

abstract operator override fun iterator(): Iterator<<ERROR CLASS>>

abstract override fun retrieve(clause: <ERROR CLASS>): RetrieveResult<out MutableClauseCollection>

Retrieves the first occurrence of the given Clause from this MutableClauseCollection as a RetrieveResult

abstract override fun retrieveAll(clause: <ERROR CLASS>): RetrieveResult<out MutableClauseCollection>

Retrieves all the occurrences of the given Clause from this MutableClauseCollection as a RetrieveResult

Properties

abstract val size: Int

Computes the size of the ClauseCollection