addAll

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

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