ClauseQueue

Companion

object Companion

add

open override fun add(clause: <ERROR CLASS>): ClauseQueue

Gives a freshly produced ClauseQueue including the given Clause and the content of this one. Analogous to addFirst

addAll

abstract override fun addAll(clauses: Iterable<<ERROR CLASS>>): ClauseQueue

Gives a freshly produced ClauseQueue including all the given Clause and the content of this one

addFirst

abstract fun addFirst(clause: <ERROR CLASS>): ClauseQueue

Gives a freshly produced ClauseQueue including the given Clause in the first position and the content of this one

addLast

abstract fun addLast(clause: <ERROR CLASS>): ClauseQueue

Gives a freshly produced ClauseQueue including the given Clause in the last position and the content of this one

contains

abstract operator fun contains(element: <ERROR CLASS>): Boolean

Tells if the ClauseCollection contains the given Clause

containsAll

abstract fun containsAll(elements: Iterable<<ERROR CLASS>>): Boolean

Tells if the ClauseCollection contains all the given Clause

get

open operator fun get(clause: <ERROR CLASS>): Sequence<<ERROR CLASS>>

Produces a Sequence of the clauses that would unify over the given Clause. Analogous to getFifoOrdered

getFifoOrdered

abstract fun getFifoOrdered(clause: <ERROR CLASS>): Sequence<<ERROR CLASS>>

Produces a Sequence of the clauses that would unify over the given Clause, scanning from data structure from the first position to the last one

getLifoOrdered

abstract fun getLifoOrdered(clause: <ERROR CLASS>): Sequence<<ERROR CLASS>>

Produces a Sequence of the clauses that would unify over the given Clause, scanning from data structure from the last position to the first

isEmpty

abstract fun isEmpty(): Boolean

Tells if the ClauseCollection contains any Clause

iterator

abstract operator override fun iterator(): Iterator<<ERROR CLASS>>

retrieve

open override fun retrieve(clause: <ERROR CLASS>): RetrieveResult<out ClauseQueue>

Retrieve the first Clause unifying the given one. Analogous to retrieveFirst

retrieveAll

abstract override fun retrieveAll(clause: <ERROR CLASS>): RetrieveResult<out ClauseQueue>

Retrieve all the Clause unifying the given one

retrieveFirst

abstract fun retrieveFirst(clause: <ERROR CLASS>): RetrieveResult<out ClauseQueue>

Retrieve the first Clause unifying the given one, searching from the first position

size

abstract val size: Int

Computes the size of the ClauseCollection

MutableClauseQueue

ClauseQueue

Types

Functions

Properties

Inheritors