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

Companion

object Companion

Functions

fun empty(unificator: Unificator): MutableClauseMultiSet

Creates an empty MutableClauseMultiSet

fun equals(multiSet1: MutableClauseMultiSet, multiSet2: MutableClauseMultiSet): Boolean

Tells whether multiSet1 and multiSet2 contain the same clauses, regardless of order.

fun hashCode(multiSet: MutableClauseMultiSet): Int

Computes a hash code for multiSet, consistent with equals.

fun of(unificator: Unificator, clauses: Iterable<Clause>): MutableClauseMultiSet

Creates a MutableClauseMultiSet from the given Iterable of Clause

fun of(unificator: Unificator, clauses: Sequence<Clause>): MutableClauseMultiSet

Creates a MutableClauseMultiSet from the given Sequence of Clause

fun of(unificator: Unificator, vararg clause: Clause): MutableClauseMultiSet

Creates a MutableClauseMultiSet with given clauses

fun of(unificator: Unificator, vararg clause: Scope.() -> Clause): MutableClauseMultiSet

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