MutableClauseMultiSet

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

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

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

Parameters

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

ReturnValue

Name Description
MutableClauseMultiSet

of

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

Creates a MutableClauseMultiSet from the given Sequence of Clause

Parameters

Name Description
clauses: Sequence<Clause>

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