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