add
abstract override fun addAll(clauses: Iterable<<ERROR CLASS>>): ClauseMultiSet
Content copied to clipboard
Gives a freshly produced ClauseMultiSet including all the given Clause and the content of this one
Gives a freshly produced ClauseMultiSet including all the given Clause and the content of this one