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
A result given after a "retract" operation