MutableClauseQueue

interface MutableClauseQueue: ClauseQueue, Any

Methods

addFirst

abstract fun addFirst(clause: Clause): MutableClauseQueue

Adds the given Clause as the first element in this MutableClauseQueue

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
MutableClauseQueue

addLast

abstract fun addLast(clause: Clause): MutableClauseQueue

Adds the given Clause as the last element in this MutableClauseQueue

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
MutableClauseQueue

add

abstract fun add(clause: Clause): MutableClauseQueue

Adds the given Clause to this MutableClauseQueue. Analogous to addLast

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
MutableClauseQueue

addAll

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

Adds all the given Clause to this MutableClauseQueue

Parameters

Name Description
clauses: Iterable<Clause>

ReturnValue

Name Description
MutableClauseQueue

retrieveFirst

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

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

Parameters

Name Description
clause: Clause

ReturnValue

retrieve

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

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

Parameters

Name Description
clause: Clause

ReturnValue

retrieveAll

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

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

Parameters

Name Description
clause: Clause

ReturnValue

CompanionObject

MutableClauseQueue

interface MutableClauseQueue: ClauseQueue, Any

Methods

empty

fun empty(): MutableClauseQueue

Creates an empty MutableClauseQueue

ReturnValue

Name Description
MutableClauseQueue

of

fun of(vararg clause: Clause): MutableClauseQueue

Creates a MutableClauseQueue with given clauses

Parameters

Name Description
vararg clause: Clause

ReturnValue

Name Description
MutableClauseQueue

of

fun of(vararg clause: Scope.()->Clause): MutableClauseQueue

Let developers easily create a MutableClauseQueue programmatically while avoiding variables names clashing

Parameters

Name Description
vararg clause: Scope.()->Clause

ReturnValue

Name Description
MutableClauseQueue

of

fun of(clauses: Sequence<Clause>): MutableClauseQueue

Creates a MutableClauseQueue from the given Sequence of Clause

Parameters

Name Description
clauses: Sequence<Clause>

ReturnValue

Name Description
MutableClauseQueue

of

fun of(clauses: Iterable<Clause>): MutableClauseQueue

Creates a MutableClauseQueue from the given Iterable of Clause

Parameters

Name Description
clauses: Iterable<Clause>

ReturnValue

Name Description
MutableClauseQueue

equals

fun equals(queue1: MutableClauseQueue, queue2: MutableClauseQueue): Boolean

Parameters

Name Description
queue1: MutableClauseQueue
queue2: MutableClauseQueue

ReturnValue

Name Description
Boolean

hashCode

fun hashCode(queue: MutableClauseQueue): Int

Parameters

Name Description
queue: MutableClauseQueue

ReturnValue

Name Description
Int