Companion

object Companion
Content copied to clipboard

Functions

empty
Link copied to clipboard
@JvmStatic()
fun empty(): ClauseMultiSet
Content copied to clipboard
Creates an empty ClauseMultiSet
equals
Link copied to clipboard
@JvmStatic()
fun equals(multiSet1: ClauseMultiSet, multiSet2: ClauseMultiSet): Boolean
Content copied to clipboard
hashCode
Link copied to clipboard
@JvmStatic()
fun hashCode(multiSet: ClauseMultiSet): Int
Content copied to clipboard
of
Link copied to clipboard
@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: Iterable<Clause>): ClauseMultiSet
Content copied to clipboard
Creates a ClauseMultiSet from the given Iterable of Clause
@JvmStatic()
fun of(clauses: Sequence<Clause>): ClauseMultiSet
Content copied to clipboard
Creates a ClauseMultiSet from the given Sequence of Clause