addLast

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

Adds the given Clause as the last element in this MutableClauseQueue