addAll

abstract override fun addAll(clauses: Iterable<Clause>): ClauseQueue
Content copied to clipboard

Gives a freshly produced ClauseQueue including all the given Clause and the content of this one