Failure

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

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

Constructors

constructor(theory: T)

open override val clauses: Nothing?

The clauses that were actually removed, in removal order; null if the operation isFailure.

open override val firstClause: Nothing?

Gets the first successfully retracted clause

open override val isFailure: Boolean

Whether the retract operation removed no clause at all.

Whether the retract operation removed at least one clause.

open override val theory: T

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