theory/it.unibo.tuprolog.collections/ClauseMultiSet/Companion

Companion

object Companion
Content copied to clipboard

Functions

Link copied to clipboard
@JvmStatic
fun empty(): ClauseMultiSet
Content copied to clipboard

Creates an empty ClauseMultiSet

Link copied to clipboard
@JvmStatic
fun equals(multiSet1: ClauseMultiSet, multiSet2: ClauseMultiSet): Boolean
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun hashCode(multiSet: ClauseMultiSet): Int
Content copied to clipboard
Link copied to clipboard
@JvmStatic
fun of(vararg clause: <ERROR CLASS>): ClauseMultiSet
Content copied to clipboard

Creates a ClauseMultiSet with given clauses

@JvmStatic
fun of(vararg clause: <ERROR CLASS>.() -> <ERROR CLASS>): ClauseMultiSet
Content copied to clipboard

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

@JvmStatic
fun of(clauses: Iterable<<ERROR CLASS>>): ClauseMultiSet
Content copied to clipboard

Creates a ClauseMultiSet from the given Iterable of Clause

@JvmStatic
fun of(clauses: Sequence<<ERROR CLASS>>): ClauseMultiSet
Content copied to clipboard

Creates a ClauseMultiSet from the given Sequence of Clause