ClauseMultiSet

Types

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

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

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

Gives a freshly produced ClauseMultiSet 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 count(clause: <ERROR CLASS>): Long

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

abstract operator fun get(clause: <ERROR CLASS>): Sequence<<ERROR CLASS>>

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 operator override fun iterator(): Iterator<<ERROR CLASS>>

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

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

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

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

abstract val size: Int

Computes the size of the ClauseCollection