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

Companion

object Companion

Functions

fun emptyMultiSet(): MutableClauseMultiSet

Creates an empty MutableClauseMultiSet

fun emptyQueue(): MutableClauseQueue

Creates an empty MutableClauseQueue

fun multiSetOf(vararg clause: <ERROR CLASS>): MutableClauseMultiSet

Creates a MutableClauseMultiSet with given clauses

fun multiSetOf(vararg clause: <ERROR CLASS>.() -> <ERROR CLASS>): MutableClauseMultiSet

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

fun multiSetOf(clauses: Iterable<<ERROR CLASS>>): MutableClauseMultiSet

Creates a MutableClauseQueue from the given Iterable of Clause

fun multiSetOf(clauses: Sequence<<ERROR CLASS>>): MutableClauseMultiSet

Creates a MutableClauseQueue from the given Sequence of Clause

fun queueOf(vararg clause: <ERROR CLASS>): MutableClauseQueue

Creates a MutableClauseQueue with given clauses

fun queueOf(vararg clause: <ERROR CLASS>.() -> <ERROR CLASS>): MutableClauseQueue

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

fun queueOf(clauses: Iterable<<ERROR CLASS>>): MutableClauseQueue

Creates a MutableClauseQueue from the given Iterable of Clause

fun queueOf(clauses: Sequence<<ERROR CLASS>>): MutableClauseQueue

Creates a MutableClauseQueue from the given Sequence of Clause