retrieve

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

Retrieves the first occurrence of the given Clause from this MutableClauseCollection as a RetrieveResult