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

queueOf

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

Creates a MutableClauseQueue with given clauses

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

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

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

Creates a MutableClauseQueue from the given Sequence of Clause

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

Creates a MutableClauseQueue from the given Iterable of Clause

Generated by Dokka
© 2026 Copyright