retrieve

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

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