add
abstract override fun addAll(clauses: Iterable<<ERROR CLASS>>): ClauseQueue
Content copied to clipboard
Gives a freshly produced ClauseQueue including all the given Clause and the content of this one
Gives a freshly produced ClauseQueue including all the given Clause and the content of this one