theory
/
it.unibo.tuprolog.collections
/
ClauseMultiSet
/
Companion
/
equals
equals
@
JvmStatic
()
fun
equals
(multiSet1:
ClauseMultiSet
, multiSet2:
ClauseMultiSet
):
Boolean
Content copied to clipboard