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

Companion

object Companion

Functions

fun empty(unificator: Unificator): ClauseQueue

Creates an empty ClauseQueue

fun equals(queue1: ClauseQueue, queue2: ClauseQueue): Boolean

Tells whether queue1 and queue2 contain the same clauses, in the same order.

fun hashCode(queue: ClauseQueue): Int

Computes a hash code for queue, consistent with equals.

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

Creates a ClauseQueue from the given Iterable of Clause

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

Creates a ClauseQueue from the given Sequence of Clause

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

Creates a ClauseQueue with given clauses

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

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