theory
/
it.unibo.tuprolog.collections
/
ClauseCollection
/
Companion
/
emptyMultiSet
empty
Multi
Set
@
JvmStatic
()
fun
emptyMultiSet
():
ClauseMultiSet
Content copied to clipboard
Creates an empty
ClauseMultiSet