addFirst

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

Adds the given Clause as the first element in this MutableClauseQueue