add

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

Adds a Clause to this MutableClauseMultiSet