theory/it.unibo.tuprolog.collections/MutableClauseMultiSet/addAll

addAll

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

Adds all the given Clause to this MutableClauseMultiSet