MutableClauseMultiSet

Types

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

Adds a Clause to this MutableClauseMultiSet

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

Adds all the given Clause to this MutableClauseMultiSet

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

Retrieves the first unifying Clause from this MutableClauseMultiSet as a RetrieveResult

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

Retrieves all the unifying Clause from this MutableClauseMultiSet as a RetrieveResult

abstract val size: Int

Computes the size of the ClauseCollection