Companion

object Companion

Functions

Link copied to clipboard
fun empty(): MutableClauseQueue

Creates an empty MutableClauseQueue

Link copied to clipboard
fun equals(queue1: MutableClauseQueue, queue2: MutableClauseQueue): Boolean
Link copied to clipboard
fun hashCode(queue: MutableClauseQueue): Int
Link copied to clipboard
fun of(vararg clause: <ERROR CLASS>): MutableClauseQueue

Creates a MutableClauseQueue with given clauses

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

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

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

Creates a MutableClauseQueue from the given Iterable of Clause

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

Creates a MutableClauseQueue from the given Sequence of Clause