ClauseCollection

Types

Companion

add

abstract fun add(clause: Clause): ClauseCollection

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

addAll

abstract fun addAll(clauses: Iterable<Clause>): ClauseCollection

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

contains

abstract operator fun contains(element: Clause): Boolean

Tells if the ClauseCollection contains the given Clause

containsAll

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

Tells if the ClauseCollection contains all the given Clause

isEmpty

abstract fun isEmpty(): Boolean

Tells if the ClauseCollection contains any Clause

iterator

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

retrieve

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

retrieveAll

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

size

abstract val size: Int

Computes the size of the ClauseCollection

ClauseMultiSet

ClauseQueue

MutableClauseCollection