of

@JvmStatic()
fun of(vararg clause: Clause): ClauseMultiSet
Content copied to clipboard

Creates a ClauseMultiSet with given clauses

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

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

@JvmStatic()
fun of(clauses: Sequence<Clause>): ClauseMultiSet
Content copied to clipboard

Creates a ClauseMultiSet from the given Sequence of Clause

@JvmStatic()
fun of(clauses: Iterable<Clause>): ClauseMultiSet
Content copied to clipboard

Creates a ClauseMultiSet from the given Iterable of Clause