Companion

Functions

emptyMultiSet

Creates an empty ClauseMultiSet

emptyQueue

Creates an empty ClauseQueue

multiSetOf

fun multiSetOf(vararg clause: Clause): ClauseMultiSet

Creates a ClauseMultiSet with given clauses

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

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

Creates a ClauseQueue from the given Iterable of Clause

Creates a ClauseQueue from the given Sequence of Clause

queueOf

fun queueOf(vararg clause: Clause): ClauseQueue

Creates a ClauseQueue with given clauses

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

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

Creates a ClauseQueue from the given Iterable of Clause

Creates a ClauseQueue from the given Sequence of Clause