theory/it.unibo.tuprolog.collections/MutableClauseQueue

MutableClauseQueue

interface MutableClauseQueue : ClauseQueue

A ClauseQueue that mutates itself in place; see MutableClauseCollection for why this trades away immutability.

Types

object Companion

Properties

abstract val directives: Iterable<Directive>

Only the clauses in this collection that are Directives.

abstract val rules: Iterable<Rule>

Only the clauses in this collection that are Rules.

abstract val size: Int

Computes the size of the ClauseCollection

abstract val unificator: Unificator

The Unificator used to match clauses against each other in this collection.

Functions

abstract override fun add(clause: Clause): MutableClauseQueue

Adds the given Clause to this MutableClauseQueue. Analogous to addLast

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

Adds all the given Clause to this MutableClauseQueue

abstract override fun addFirst(clause: Clause): MutableClauseQueue

Adds the given Clause as the first element in this MutableClauseQueue

abstract override fun addLast(clause: Clause): MutableClauseQueue

Adds the given Clause as the last element in this MutableClauseQueue

abstract operator fun contains(element: Clause): Boolean

Tells if the ClauseCollection contains a clause unifying against the given element

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

Tells if, for each of the given elements, the ClauseCollection contains a unifying clause

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

Produces a Sequence of the clauses that would unify over the given Clause. Analogous to 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

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

abstract fun isEmpty(): Boolean

Tells if the ClauseCollection contains any Clause

abstract fun isNonEmpty(): Boolean

Tells if the ClauseCollection contains at least one Clause; the negation of isEmpty.

abstract operator override fun iterator(): Iterator<Clause>

Iterates over all the clauses in this collection, in an order that depends on the concrete implementation (e.g. insertion order for a ClauseQueue, unspecified for a ClauseMultiSet).

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

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

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

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

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

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