Companion

object Companion
Content copied to clipboard

Functions

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