Success

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

Properties

clauses
Link copied to clipboard
open override val clauses: List<Clause>
collection
Link copied to clipboard
open override val collection: C
firstClause
Link copied to clipboard
open override val firstClause: Clause
isFailure
Link copied to clipboard
open val isFailure: Boolean
isSuccess
Link copied to clipboard
open override val isSuccess: Boolean