MutableClauseMultiSet

Companion

add

abstract override fun add(clause: Clause): MutableClauseMultiSet

Adds a Clause to this MutableClauseMultiSet

addAll

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

Adds all the given Clause to this MutableClauseMultiSet

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 MutableClauseMultiSet>

Retrieves the first unifying Clause from this MutableClauseMultiSet as a RetrieveResult

retrieveAll

Retrieves all the unifying Clause from this MutableClauseMultiSet as a RetrieveResult

size

abstract val size: Int

Computes the size of the ClauseCollection

Types