addAll

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

Adds all the given Clause to this MutableClauseMultiSet