MutableClauseQueue

Companion

object Companion

add

abstract override fun add(clause: Clause): MutableClauseQueue

Adds the given Clause to this MutableClauseQueue.

addAll

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

Adds all the given Clause to this MutableClauseQueue

addFirst

abstract override fun addFirst(clause: Clause): MutableClauseQueue

Adds the given Clause as the first element in this MutableClauseQueue

addLast

abstract override fun addLast(clause: Clause): MutableClauseQueue

Adds the given Clause as the last element in this MutableClauseQueue

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

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

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

retrieveAll

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

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

retrieveFirst

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