RetractResult

sealed class RetractResult: Any

A result given after a "retract" operation

Fields

Name Description
abstract theory: Theory

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