ClauseMultiSet

Companion

add

abstract override fun add(clause: Clause): ClauseMultiSet

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

addAll

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

Gives a freshly produced ClauseMultiSet 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

count

abstract fun count(clause: Clause): Long

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

get

abstract operator fun get(clause: Clause): Sequence<Clause>

Produces a Sequence of the clauses that would unify over 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 ClauseMultiSet>

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

retrieveAll

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

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

size

abstract val size: Int

Computes the size of the ClauseCollection

MutableClauseMultiSet

Types