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