theory/it.unibo.tuprolog.collections/ClauseCollection/Companion/multiSetOf

multiSetOf

@JvmStatic
fun multiSetOf(vararg clause: <ERROR CLASS>): ClauseMultiSet
Content copied to clipboard

Creates a ClauseMultiSet with given clauses


@JvmStatic
fun multiSetOf(vararg clause: <ERROR CLASS>.() -> <ERROR CLASS>): ClauseMultiSet
Content copied to clipboard

Let developers easily create a ClauseMultiSet programmatically while avoiding variables names clashing


@JvmStatic
fun multiSetOf(clauses: Sequence<<ERROR CLASS>>): ClauseMultiSet
Content copied to clipboard

Creates a ClauseQueue from the given Sequence of Clause


@JvmStatic
fun multiSetOf(clauses: Iterable<<ERROR CLASS>>): ClauseMultiSet
Content copied to clipboard

Creates a ClauseQueue from the given Iterable of Clause