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

addAll

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

Adds all the given Clause to this MutableClauseQueue