Success

data class Success<C : ClauseCollection>(val collection: C, val clauses: List<Clause>) : RetrieveResult<C>

A successful retrieval result, carrying the resulting collection and removed clauses.

Constructors

constructor(collection: C, clauses: List<Clause>)

open override val clauses: List<Clause>

The clauses that were actually removed, in removal order; null if the operation isFailure.

open override val collection: C

The clause collection resulting from the operation (unchanged, if it isFailure).

open override val firstClause: Clause

Whether the operation removed no clause at all.

open override val isSuccess: Boolean

Whether the operation removed at least one clause.