interface MutableClauseQueue: ClauseQueue, Any
Methods
addFirst
abstract fun addFirst(clause: Clause): 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
| Name | Description |
|---|---|
RetrieveResult<MutableClauseQueue>
|
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
| Name | Description |
|---|---|
RetrieveResult<MutableClauseQueue>
|
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
| Name | Description |
|---|---|
RetrieveResult<MutableClauseQueue>
|
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
ReturnValue
| Name | Description |
|---|---|
MutableClauseQueue
|
of
fun of(clauses: Sequence
Creates a MutableClauseQueue from the given Sequence of Clause
Parameters
| Name | Description |
|---|---|
clauses: Sequence
|
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
|
Adds the given Clause as the first element in this MutableClauseQueue