addAll

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

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