interface MutableClauseMultiSet: ClauseMultiSet, Any
Methods
add
abstract fun add(clause: Clause): MutableClauseMultiSet
Parameters
Name | Description |
---|---|
clause: Clause
|
ReturnValue
Name | Description |
---|---|
MutableClauseMultiSet
|
addAll
abstract fun addAll(clauses: Iterable<Clause>): MutableClauseMultiSet
Adds all the given Clause to this MutableClauseMultiSet
Parameters
Name | Description |
---|---|
clauses: Iterable<Clause>
|
ReturnValue
Name | Description |
---|---|
MutableClauseMultiSet
|
retrieve
abstract fun retrieve(clause: Clause): RetrieveResult<MutableClauseMultiSet>
Retrieves the first unifying Clause from this MutableClauseMultiSet as a RetrieveResult
Parameters
Name | Description |
---|---|
clause: Clause
|
ReturnValue
Name | Description |
---|---|
RetrieveResult<MutableClauseMultiSet>
|
retrieveAll
abstract fun retrieveAll(clause: Clause): RetrieveResult<MutableClauseMultiSet>
Retrieves all the unifying Clause from this MutableClauseMultiSet as a RetrieveResult
Parameters
Name | Description |
---|---|
clause: Clause
|
ReturnValue
Name | Description |
---|---|
RetrieveResult<MutableClauseMultiSet>
|
CompanionObject
MutableClauseMultiSet
interface MutableClauseMultiSet: ClauseMultiSet, Any
Methods
empty
fun empty(): MutableClauseMultiSet
Creates an empty MutableClauseMultiSet
ReturnValue
Name | Description |
---|---|
MutableClauseMultiSet
|
of
fun of(vararg clause: Clause): MutableClauseMultiSet
Creates a MutableClauseMultiSet with given clauses
Parameters
Name | Description |
---|---|
vararg clause: Clause
|
ReturnValue
Name | Description |
---|---|
MutableClauseMultiSet
|
of
fun of(vararg clause: Scope.()->Clause): MutableClauseMultiSet
Let developers easily create a MutableClauseMultiSet programmatically while avoiding variables names clashing
ReturnValue
Name | Description |
---|---|
MutableClauseMultiSet
|
of
fun of(clauses: Sequence
Creates a MutableClauseMultiSet from the given Sequence of Clause
Parameters
Name | Description |
---|---|
clauses: Sequence
|
ReturnValue
Name | Description |
---|---|
MutableClauseMultiSet
|
of
fun of(clauses: Iterable<Clause>): MutableClauseMultiSet
Creates a MutableClauseMultiSet from the given Iterable of Clause
Parameters
Name | Description |
---|---|
clauses: Iterable<Clause>
|
ReturnValue
Name | Description |
---|---|
MutableClauseMultiSet
|
equals
fun equals(multiSet1: MutableClauseMultiSet, multiSet2: MutableClauseMultiSet): Boolean
Parameters
Name | Description |
---|---|
multiSet1: MutableClauseMultiSet
|
|
multiSet2: MutableClauseMultiSet
|
ReturnValue
Name | Description |
---|---|
Boolean
|
hashCode
fun hashCode(multiSet: MutableClauseMultiSet): Int
Parameters
Name | Description |
---|---|
multiSet: MutableClauseMultiSet
|
ReturnValue
Name | Description |
---|---|
Int
|
Adds a Clause to this MutableClauseMultiSet