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

Companion

object Companion

Functions

fun emptyMultiSet(unificator: Unificator): ClauseMultiSet

Creates an empty ClauseMultiSet

fun emptyQueue(unificator: Unificator): ClauseQueue

Creates an empty ClauseQueue

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

Creates a ClauseQueue from the given Iterable of Clause

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

Creates a ClauseQueue from the given Sequence of Clause

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

Creates a ClauseMultiSet with given clauses

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

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

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

Creates a ClauseQueue from the given Iterable of Clause

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

Creates a ClauseQueue from the given Sequence of Clause

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

Creates a ClauseQueue with given clauses

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

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