theory/it.unibo.tuprolog.collections/RetrieveResult/Success

Success

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

Constructors

fun <C : ClauseCollection> Success(collection: C, clauses: List<<ERROR CLASS>>)

Properties

open override val clauses: List<<ERROR CLASS>>

open override val collection: C

open override val firstClause: <ERROR CLASS>

open val isFailure: Boolean

open override val isSuccess: Boolean