retrieve
abstract override fun retrieve(clause: <ERROR CLASS>): RetrieveResult<out ClauseMultiSet>
Content copied to clipboard
Produces a RetrieveResult as a consequence of the attempt at deleting the given Clause from this ClauseMultiSet
Produces a RetrieveResult as a consequence of the attempt at deleting the given Clause from this ClauseMultiSet