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

Companion

object Companion

Functions

fun emptyMultiSet(): ClauseMultiSet

Creates an empty ClauseMultiSet

fun emptyQueue(): ClauseQueue

Creates an empty ClauseQueue

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

Creates a ClauseMultiSet with given clauses

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

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

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

Creates a ClauseQueue from the given Iterable of Clause

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

Creates a ClauseQueue from the given Sequence of Clause

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

Creates a ClauseQueue with given clauses

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

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

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

Creates a ClauseQueue from the given Iterable of Clause

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

Creates a ClauseQueue from the given Sequence of Clause