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

Failure

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

Constructors

fun <C : ClauseCollection> Failure(collection: C)

Properties

open override val clauses: Nothing?

open override val collection: C

open override val firstClause: Nothing?

open override val isFailure: Boolean

open val isSuccess: Boolean