of
Creates a ClauseMultiSet with given clauses
Let developers easily create a ClauseMultiSet programmatically while avoiding variables names clashing
Creates a ClauseMultiSet from the given Sequence of Clause
Creates a ClauseMultiSet from the given Iterable of Clause