MutableClauseCollection

interface MutableClauseCollection : ClauseCollection

Types

Companion

object Companion

Functions

add

abstract override fun add(clause: Clause): MutableClauseCollection

Adds the given Clause to this MutableClauseCollection.

addAll

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

Adds all the given Clause to this MutableClauseCollection

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

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

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

retrieveAll

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

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

Properties

size

abstract val size: Int

Computes the size of the ClauseCollection