addAll

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

Adds all the given Clause to this MutableClauseQueue