Success

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

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

Constructors

constructor(theory: T, clauses: Iterable<Clause>)

open override val clauses: Iterable<Clause>

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

open override val firstClause: Clause

Whether the retract operation removed no clause at all.

open override val isSuccess: Boolean

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