retrieve
abstract override fun retrieveAll(clause: <ERROR CLASS>): RetrieveResult<out MutableClauseMultiSet>
Content copied to clipboard
Retrieves all the unifying Clause from this MutableClauseMultiSet as a RetrieveResult
Retrieves all the unifying Clause from this MutableClauseMultiSet as a RetrieveResult