multiSetOf

@JvmStatic()
fun multiSetOf(vararg clause: Clause): MutableClauseMultiSet
Content copied to clipboard

Creates a MutableClauseMultiSet with given clauses

@JvmStatic()
fun multiSetOf(vararg clause: Scope.() -> Clause): MutableClauseMultiSet
Content copied to clipboard

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

@JvmStatic()
fun multiSetOf(clauses: Sequence<Clause>): MutableClauseMultiSet
Content copied to clipboard

Creates a MutableClauseQueue from the given Sequence of Clause

@JvmStatic()
fun multiSetOf(clauses: Iterable<Clause>): MutableClauseMultiSet
Content copied to clipboard

Creates a MutableClauseQueue from the given Iterable of Clause