retrieve

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

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