add

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

Adds the given Clause to this MutableClauseCollection.