theory/it.unibo.tuprolog.collections/RetrieveResult

RetrieveResult

sealed class RetrieveResult<C : ClauseCollection>

Types

data class Failure<C : ClauseCollection>(val collection: C) : RetrieveResult<C>

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

Properties

abstract val clauses: List<<ERROR CLASS>>?

abstract val collection: C

abstract val firstClause: <ERROR CLASS>?

open val isFailure: Boolean

open val isSuccess: Boolean

Inheritors