retrieveAll

abstract override fun retrieveAll(clause: Clause): RetrieveResult<out ClauseQueue>

Retrieve all the Clause unifying the given one