ClauseCollection

interface ClauseCollection : Iterable<<ERROR CLASS>>

Types

abstract fun add(clause: <ERROR CLASS>): ClauseCollection

Gives a freshly produced ClauseCollection including the given Clause and the content of this one

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

Gives a freshly produced ClauseCollection including all the given Clause and the content of this one

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 fun retrieve(clause: <ERROR CLASS>): RetrieveResult<out ClauseCollection>

Produces a RetrieveResult as a consequence of the attempt at deleting the given Clause from this ClauseCollection

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

Produces a RetrieveResult as a consequence of the attempt at deleting all the given Clause from this ClauseCollection

abstract val size: Int

Computes the size of the ClauseCollection