add

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

Adds the given Clause to this MutableClauseQueue. Analogous to addLast