Companion
Functions
Link copied to clipboard
Creates an empty ClauseQueue
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Creates a ClauseQueue with given clauses
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