MutableClauseQueue

Companion

object Companion

add

abstract override fun add(clause: <ERROR CLASS>): MutableClauseQueue

Adds the given Clause to this MutableClauseQueue. Analogous to addLast

addAll

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

Adds all the given Clause to this MutableClauseQueue

addFirst

abstract override fun addFirst(clause: <ERROR CLASS>): MutableClauseQueue

Adds the given Clause as the first element in this MutableClauseQueue

addLast

abstract override fun addLast(clause: <ERROR CLASS>): MutableClauseQueue

Adds the given Clause as the last element in this MutableClauseQueue

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

abstract override fun retrieve(clause: <ERROR CLASS>): RetrieveResult<out MutableClauseQueue>

Retrieves the first occurrence of the given Clause from this MutableClauseQueue as a RetrieveResult

retrieveAll

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

Retrieves all the occurrences of the given Clause from this MutableClauseQueue as a RetrieveResult

retrieveFirst

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

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

size

abstract val size: Int

Computes the size of the ClauseCollection

MutableClauseQueue

Types

Functions

Properties