of

fun of(vararg clause: <ERROR CLASS>): ClauseMultiSet

Creates a ClauseMultiSet with given clauses


fun of(vararg clause: <ERROR CLASS>.() -> <ERROR CLASS>): ClauseMultiSet

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


fun of(clauses: Sequence<<ERROR CLASS>>): ClauseMultiSet

Creates a ClauseMultiSet from the given Sequence of Clause


fun of(clauses: Iterable<<ERROR CLASS>>): ClauseMultiSet

Creates a ClauseMultiSet from the given Iterable of Clause