RetractResult

sealed class RetractResult<T : Theory> : Any

A result given after a "retract" operation

Fields

Name Description
open isSuccess: Boolean
open isFailure: Boolean
abstract theory: T

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

abstract clauses: Iterable<Clause>?
abstract firstClause: Clause?

Gets the first successfully retracted clause