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

of

fun of(unificator: Unificator, vararg clause: Clause): MutableClauseMultiSet

Creates a MutableClauseMultiSet with given clauses

fun of(unificator: Unificator, vararg clause: Scope.() -> Clause): MutableClauseMultiSet

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

fun of(unificator: Unificator, clauses: Sequence<Clause>): MutableClauseMultiSet

Creates a MutableClauseMultiSet from the given Sequence of Clause

fun of(unificator: Unificator, clauses: Iterable<Clause>): MutableClauseMultiSet

Creates a MutableClauseMultiSet from the given Iterable of Clause