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