ClauseQueue

Companion

object Companion

add

open override fun add(clause: Clause): ClauseQueue

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

addAll

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

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

addFirst

abstract fun addFirst(clause: Clause): 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: Clause): 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: Clause): Boolean

Tells if the ClauseCollection contains the given Clause

containsAll

abstract fun containsAll(elements: Iterable<Clause>): Boolean

Tells if the ClauseCollection contains all the given Clause

get

open operator fun get(clause: Clause): Sequence<Clause>

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

getFifoOrdered

abstract fun getFifoOrdered(clause: Clause): Sequence<Clause>

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: Clause): Sequence<Clause>

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<Clause>

retrieve

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

Retrieve the first Clause unifying the given one.

retrieveAll

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

Retrieve all the Clause unifying the given one

retrieveFirst

abstract fun retrieveFirst(clause: Clause): 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