MutableClauseCollection

interface MutableClauseCollection: ClauseCollection, Any

Methods

add

abstract fun add(clause: Clause): MutableClauseCollection

Adds the given Clause to this MutableClauseCollection.

Parameters

Name	Description
`clause: Clause`

ReturnValue

Name	Description
`MutableClauseCollection`

addAll

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

Adds all the given Clause to this MutableClauseCollection

Parameters

Name	Description
`clauses: Iterable<Clause>`

ReturnValue

Name	Description
`MutableClauseCollection`

retrieve

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

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

Parameters

Name	Description
`clause: Clause`

ReturnValue

Name	Description
`RetrieveResult<MutableClauseCollection>`

retrieveAll

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

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

Parameters

Name	Description
`clause: Clause`

ReturnValue

Name	Description
`RetrieveResult<MutableClauseCollection>`

CompanionObject

MutableClauseCollection

interface MutableClauseCollection: ClauseCollection, Any

Methods

emptyMultiSet

fun emptyMultiSet(): MutableClauseMultiSet

Creates an empty MutableClauseMultiSet

ReturnValue

Name	Description
`MutableClauseMultiSet`

multiSetOf

fun multiSetOf(vararg clause: Clause): MutableClauseMultiSet

Creates a MutableClauseMultiSet with given clauses

Parameters

Name	Description
`vararg clause: Clause`

ReturnValue

Name	Description
`MutableClauseMultiSet`

multiSetOf

fun multiSetOf(vararg clause: Scope.()->Clause): MutableClauseMultiSet

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

Parameters

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

ReturnValue

Name	Description
`MutableClauseMultiSet`

multiSetOf

fun multiSetOf(clauses: Sequence<Clause>): MutableClauseMultiSet

Creates a MutableClauseQueue from the given Sequence of Clause

Parameters

Name	Description
`clauses: Sequence<Clause>`

ReturnValue

Name	Description
`MutableClauseMultiSet`

multiSetOf

fun multiSetOf(clauses: Iterable<Clause>): MutableClauseMultiSet

Creates a MutableClauseQueue from the given Iterable of Clause

Parameters

Name	Description
`clauses: Iterable<Clause>`

ReturnValue

Name	Description
`MutableClauseMultiSet`

emptyQueue

fun emptyQueue(): MutableClauseQueue

Creates an empty MutableClauseQueue

ReturnValue

Name	Description
`MutableClauseQueue`

queueOf

fun queueOf(vararg clause: Clause): MutableClauseQueue

Creates a MutableClauseQueue with given clauses

Parameters

Name	Description
`vararg clause: Clause`

ReturnValue

Name	Description
`MutableClauseQueue`

queueOf

fun queueOf(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`

queueOf

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

Creates a MutableClauseQueue from the given Sequence of Clause

Parameters

Name	Description
`clauses: Sequence<Clause>`

ReturnValue

Name	Description
`MutableClauseQueue`

queueOf

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

Creates a MutableClauseQueue from the given Iterable of Clause

Parameters

Name	Description
`clauses: Iterable<Clause>`

ReturnValue

Name	Description
`MutableClauseQueue`