addLast

abstract fun addLast(clause: Clause): ClauseQueue
Content copied to clipboard

Gives a freshly produced ClauseQueue including the given Clause in the last position and the content of this one