retrieve

abstract override fun retrieve(clause: <ERROR CLASS>): RetrieveResult<out MutableClauseCollection>

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