theory/it.unibo.tuprolog.collections/MutableClauseMultiSet/retrieveAll

retrieveAll

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

Removes all the Clauses unifying the given one from this MutableClauseMultiSet, mutating it in place, and returns the outcome as a RetrieveResult