theory/it.unibo.tuprolog.theory/RetractResult

RetractResult

sealed class RetractResult<out T : Theory>

A result given after a "retract" operation

Types

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

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

data class Success<T : Theory>(val theory: T, val clauses: Iterable<<ERROR CLASS>>) : RetractResult<T>

A successful "retract" operation result, carrying the new theory and removed clauses

Properties

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

abstract val firstClause: <ERROR CLASS>?

Gets the first successfully retracted clause

open val isFailure: Boolean

open val isSuccess: Boolean

abstract val theory: T

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

Inheritors