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

add

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

Gives a freshly produced ClauseMultiSet including the given Clause and the content of this one