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

Companion

object Companion
Content copied to clipboard

Functions

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

Creates an empty MutableClauseMultiSet

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

Creates a MutableClauseMultiSet with given clauses

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

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

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

Creates a MutableClauseMultiSet from the given Iterable of Clause

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

Creates a MutableClauseMultiSet from the given Sequence of Clause