interface ClauseMultiSet: ClauseCollection, Any
Methods
count
abstract fun count(clause: Clause): Long
Parameters
| Name | Description |
|---|---|
clause: Clause
|
ReturnValue
| Name | Description |
|---|---|
Long
|
get
abstract operator fun get(clause: Clause): Sequence
Parameters
| Name | Description |
|---|---|
clause: Clause
|
ReturnValue
| Name | Description |
|---|---|
Sequence
|
add
abstract fun add(clause: Clause): ClauseMultiSet
Gives a freshly produced ClauseMultiSet including the given Clause and the content of this one
Parameters
| Name | Description |
|---|---|
clause: Clause
|
ReturnValue
| Name | Description |
|---|---|
ClauseMultiSet
|
addAll
abstract fun addAll(clauses: Iterable<Clause>): ClauseMultiSet
Gives a freshly produced ClauseMultiSet including all the given Clause and the content of this one
Parameters
| Name | Description |
|---|---|
clauses: Iterable<Clause>
|
ReturnValue
| Name | Description |
|---|---|
ClauseMultiSet
|
retrieve
abstract fun retrieve(clause: Clause): RetrieveResult<ClauseMultiSet>
Produces a RetrieveResult as a consequence of the attempt at deleting the given Clause from this ClauseMultiSet
Parameters
| Name | Description |
|---|---|
clause: Clause
|
ReturnValue
| Name | Description |
|---|---|
RetrieveResult<ClauseMultiSet>
|
retrieveAll
abstract fun retrieveAll(clause: Clause): RetrieveResult<ClauseMultiSet>
Produces a RetrieveResult as a consequence of the attempt at deleting all the given Clause from this ClauseMultiSet
Parameters
| Name | Description |
|---|---|
clause: Clause
|
ReturnValue
| Name | Description |
|---|---|
RetrieveResult<ClauseMultiSet>
|
CompanionObject
ClauseMultiSet
interface ClauseMultiSet: ClauseCollection, Any
Methods
empty
fun empty(): ClauseMultiSet
Creates an empty ClauseMultiSet
ReturnValue
| Name | Description |
|---|---|
ClauseMultiSet
|
of
fun of(vararg clause: Clause): ClauseMultiSet
Creates a ClauseMultiSet with given clauses
Parameters
| Name | Description |
|---|---|
vararg clause: Clause
|
ReturnValue
| Name | Description |
|---|---|
ClauseMultiSet
|
of
fun of(vararg clause: Scope.()->Clause): ClauseMultiSet
Let developers easily create a ClauseMultiSet programmatically while avoiding variables names clashing
ReturnValue
| Name | Description |
|---|---|
ClauseMultiSet
|
of
fun of(clauses: Sequence
Creates a ClauseMultiSet from the given Sequence of Clause
Parameters
| Name | Description |
|---|---|
clauses: Sequence
|
ReturnValue
| Name | Description |
|---|---|
ClauseMultiSet
|
of
fun of(clauses: Iterable<Clause>): ClauseMultiSet
Creates a ClauseMultiSet from the given Iterable of Clause
Parameters
| Name | Description |
|---|---|
clauses: Iterable<Clause>
|
ReturnValue
| Name | Description |
|---|---|
ClauseMultiSet
|
equals
fun equals(multiSet1: ClauseMultiSet, multiSet2: ClauseMultiSet): Boolean
Parameters
| Name | Description |
|---|---|
multiSet1: ClauseMultiSet
|
|
multiSet2: ClauseMultiSet
|
ReturnValue
| Name | Description |
|---|---|
Boolean
|
hashCode
fun hashCode(multiSet: ClauseMultiSet): Int
Parameters
| Name | Description |
|---|---|
multiSet: ClauseMultiSet
|
ReturnValue
| Name | Description |
|---|---|
Int
|
Gives the number of Clause that would unify over the given clause.