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

addAll

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

Adds all the given Clause to this MutableClauseCollection