Companion

object Companion

Functions

empty
Link copied to clipboard
fun empty(): ClauseMultiSet
Creates an empty ClauseMultiSet
equals
Link copied to clipboard
fun equals(multiSet1: ClauseMultiSet, multiSet2: ClauseMultiSet): Boolean
hashCode
Link copied to clipboard
fun hashCode(multiSet: ClauseMultiSet): Int
of
Link copied to clipboard
fun of(vararg clause: Clause): ClauseMultiSet
Creates a ClauseMultiSet with given clauses
fun of(vararg clause: Scope.() -> Clause): ClauseMultiSet
Let developers easily create a ClauseMultiSet programmatically while avoiding variables names clashing
fun of(clauses: Iterable<Clause>): ClauseMultiSet
Creates a ClauseMultiSet from the given Iterable of Clause
fun of(clauses: Sequence<Clause>): ClauseMultiSet
Creates a ClauseMultiSet from the given Sequence of Clause