Failure

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

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

Constructors

Failure

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

clauses

open override val clauses: Nothing?

firstClause

open override val firstClause: Nothing?

Gets the first successfully retracted clause

isFailure

open override val isFailure: Boolean

isSuccess

theory

open override val theory: T

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