retrieveAll

abstract override fun retrieveAll(clause: Clause): RetrieveResult<out ClauseMultiSet>
Content copied to clipboard

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