add
abstract override fun addFirst(clause: <ERROR CLASS>): MutableClauseQueue
Content copied to clipboard
Adds the given Clause as the first element in this MutableClauseQueue
Adds the given Clause as the first element in this MutableClauseQueue