retrieve
abstract override fun retrieve(clause: <ERROR CLASS>): RetrieveResult<out MutableClauseQueue>
Content copied to clipboard
Retrieves the first occurrence of the given Clause from this MutableClauseQueue as a RetrieveResult
Retrieves the first occurrence of the given Clause from this MutableClauseQueue as a RetrieveResult