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

Companion

object Companion

Functions

fun empty(unificator: Unificator): ClauseMultiSet

Creates an empty ClauseMultiSet

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

fun hashCode(multiSet: ClauseMultiSet): Int

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

Creates a ClauseMultiSet from the given Iterable of Clause

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

Creates a ClauseMultiSet from the given Sequence of Clause

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

Creates a ClauseMultiSet with given clauses

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

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