Companion

object Companion

Functions

emptyMultiSet
Link copied to clipboard
fun emptyMultiSet(): MutableClauseMultiSet
Creates an empty MutableClauseMultiSet
emptyQueue
Link copied to clipboard
fun emptyQueue(): MutableClauseQueue
Creates an empty MutableClauseQueue
multiSetOf
Link copied to clipboard
fun multiSetOf(vararg clause: Clause): MutableClauseMultiSet
Creates a MutableClauseMultiSet with given clauses
fun multiSetOf(vararg clause: Scope.() -> Clause): MutableClauseMultiSet
Let developers easily create a MutableClauseMultiSet programmatically while avoiding variables names clashing
fun multiSetOf(clauses: Iterable<Clause>): MutableClauseMultiSet
Creates a MutableClauseQueue from the given Iterable of Clause
fun multiSetOf(clauses: Sequence<Clause>): MutableClauseMultiSet
Creates a MutableClauseQueue from the given Sequence of Clause
queueOf
Link copied to clipboard
fun queueOf(vararg clause: Clause): MutableClauseQueue
Creates a MutableClauseQueue with given clauses
fun queueOf(vararg clause: Scope.() -> Clause): MutableClauseQueue
Let developers easily create a MutableClauseQueue programmatically while avoiding variables names clashing
fun queueOf(clauses: Iterable<Clause>): MutableClauseQueue
Creates a MutableClauseQueue from the given Iterable of Clause
fun queueOf(clauses: Sequence<Clause>): MutableClauseQueue
Creates a MutableClauseQueue from the given Sequence of Clause