theory/it.unibo.tuprolog.collections/MutableClauseCollection/retrieveAll

retrieveAll

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

Retrieves all the occurrences of the given Clause from this MutableClauseCollection as a RetrieveResult