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

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