theory/it.unibo.tuprolog.theory/RetractResult/Success

Success

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

Constructors

fun <T : Theory> Success(theory: T, clauses: Iterable<<ERROR CLASS>>)

Properties

open override val clauses: Iterable<<ERROR CLASS>>

open override val firstClause: <ERROR CLASS>

Gets the first successfully retracted clause

open val isFailure: Boolean

open override val isSuccess: Boolean

open override val theory: T

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