Companion

object Companion
Content copied to clipboard

Functions

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