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

Companion

object Companion

Functions

fun emptyMultiSet(unificator: Unificator): MutableClauseMultiSet

Creates an empty MutableClauseMultiSet

fun emptyQueue(unificator: Unificator): MutableClauseQueue

Creates an empty MutableClauseQueue

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

Creates a MutableClauseQueue from the given Iterable of Clause

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

Creates a MutableClauseQueue from the given Sequence of Clause

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

Creates a MutableClauseMultiSet with given clauses

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

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

fun queueOf(unificator: Unificator, clauses: Iterable<Clause>): MutableClauseQueue

Creates a MutableClauseQueue from the given Iterable of Clause

fun queueOf(unificator: Unificator, clauses: Sequence<Clause>): MutableClauseQueue

Creates a MutableClauseQueue from the given Sequence of Clause

fun queueOf(unificator: Unificator, vararg clause: Clause): MutableClauseQueue

Creates a MutableClauseQueue with given clauses

fun queueOf(unificator: Unificator, vararg clause: Scope.() -> Clause): MutableClauseQueue

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