retrieveAll

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

Retrieves all the unifying Clause from this MutableClauseMultiSet as a RetrieveResult