interface ClauseCollection: Iterable<Clause>, Any
Fields
| Name | Description |
|---|---|
abstract size: Int
|
Computes the size of the ClauseCollection |
Methods
isEmpty
abstract fun isEmpty(): Boolean
ReturnValue
| Name | Description |
|---|---|
Boolean
|
contains
abstract operator fun contains(element: Clause): Boolean
Tells if the ClauseCollection contains the given Clause
Parameters
| Name | Description |
|---|---|
element: Clause
|
ReturnValue
| Name | Description |
|---|---|
Boolean
|
containsAll
abstract fun containsAll(elements: Iterable<Clause>): Boolean
Tells if the ClauseCollection contains all the given Clause
Parameters
| Name | Description |
|---|---|
elements: Iterable<Clause>
|
ReturnValue
| Name | Description |
|---|---|
Boolean
|
add
abstract fun add(clause: Clause): ClauseCollection
Gives a freshly produced ClauseCollection including the given Clause and the content of this one
Parameters
| Name | Description |
|---|---|
clause: Clause
|
ReturnValue
| Name | Description |
|---|---|
ClauseCollection
|
addAll
abstract fun addAll(clauses: Iterable<Clause>): ClauseCollection
Gives a freshly produced ClauseCollection including all the given Clause and the content of this one
Parameters
| Name | Description |
|---|---|
clauses: Iterable<Clause>
|
ReturnValue
| Name | Description |
|---|---|
ClauseCollection
|
retrieve
abstract fun retrieve(clause: Clause): RetrieveResult<ClauseCollection>
Produces a RetrieveResult as a consequence of the attempt at deleting the given Clause from this ClauseCollection
Parameters
| Name | Description |
|---|---|
clause: Clause
|
ReturnValue
| Name | Description |
|---|---|
RetrieveResult<ClauseCollection>
|
retrieveAll
abstract fun retrieveAll(clause: Clause): RetrieveResult<ClauseCollection>
Produces a RetrieveResult as a consequence of the attempt at deleting all the given Clause from this ClauseCollection
Parameters
| Name | Description |
|---|---|
clause: Clause
|
ReturnValue
| Name | Description |
|---|---|
RetrieveResult<ClauseCollection>
|
CompanionObject
ClauseCollection
interface ClauseCollection: Iterable<Clause>, Any
Methods
emptyMultiSet
fun emptyMultiSet(): ClauseMultiSet
Creates an empty ClauseMultiSet
ReturnValue
| Name | Description |
|---|---|
ClauseMultiSet
|
multiSetOf
fun multiSetOf(vararg clause: Clause): ClauseMultiSet
Creates a ClauseMultiSet with given clauses
Parameters
| Name | Description |
|---|---|
vararg clause: Clause
|
ReturnValue
| Name | Description |
|---|---|
ClauseMultiSet
|
multiSetOf
fun multiSetOf(vararg clause: Scope.()->Clause): ClauseMultiSet
Let developers easily create a ClauseMultiSet programmatically while avoiding variables names clashing
ReturnValue
| Name | Description |
|---|---|
ClauseMultiSet
|
multiSetOf
fun multiSetOf(clauses: Sequence
Creates a ClauseQueue from the given Sequence of Clause
Parameters
| Name | Description |
|---|---|
clauses: Sequence
|
ReturnValue
| Name | Description |
|---|---|
ClauseMultiSet
|
multiSetOf
fun multiSetOf(clauses: Iterable<Clause>): ClauseMultiSet
Creates a ClauseQueue from the given Iterable of Clause
Parameters
| Name | Description |
|---|---|
clauses: Iterable<Clause>
|
ReturnValue
| Name | Description |
|---|---|
ClauseMultiSet
|
emptyQueue
fun emptyQueue(): ClauseQueue
Creates an empty ClauseQueue
ReturnValue
| Name | Description |
|---|---|
ClauseQueue
|
queueOf
fun queueOf(vararg clause: Clause): ClauseQueue
Creates a ClauseQueue with given clauses
Parameters
| Name | Description |
|---|---|
vararg clause: Clause
|
ReturnValue
| Name | Description |
|---|---|
ClauseQueue
|
queueOf
fun queueOf(vararg clause: Scope.()->Clause): ClauseQueue
Let developers easily create a ClauseQueue programmatically while avoiding variables names clashing
ReturnValue
| Name | Description |
|---|---|
ClauseQueue
|
queueOf
fun queueOf(clauses: Sequence
Creates a ClauseQueue from the given Sequence of Clause
Parameters
| Name | Description |
|---|---|
clauses: Sequence
|
ReturnValue
| Name | Description |
|---|---|
ClauseQueue
|
queueOf
fun queueOf(clauses: Iterable<Clause>): ClauseQueue
Creates a ClauseQueue from the given Iterable of Clause
Parameters
| Name | Description |
|---|---|
clauses: Iterable<Clause>
|
ReturnValue
| Name | Description |
|---|---|
ClauseQueue
|
Tells if the ClauseCollection contains any Clause