theory/it.unibo.tuprolog.collections/MutableClauseMultiSet/Companion/of

of

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

Creates a MutableClauseMultiSet with given clauses


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

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


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

Creates a MutableClauseMultiSet from the given Sequence of Clause


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

Creates a MutableClauseMultiSet from the given Iterable of Clause