theory/it.unibo.tuprolog.collections/MutableClauseMultiSet/add

add

abstract override fun add(clause: <ERROR CLASS>): MutableClauseMultiSet
Content copied to clipboard

Adds a Clause to this MutableClauseMultiSet