theory/it.unibo.tuprolog.theory/RetractResult/Failure

Failure

data class Failure<T : Theory>(val theory: T) : RetractResult<T>

A failed "retract" operation result, carrying the unchanged theory

Constructors

fun <T : Theory> Failure(theory: T)

Properties

open override val clauses: Nothing?

open override val firstClause: Nothing?

Gets the first successfully retracted clause

open override val isFailure: Boolean

open val isSuccess: Boolean

open override val theory: T

The result always present value, is the clause database resulting from the operation execution