Failure

data class Failure: RetractResult

A failed "retract" operation result, carrying the unchanged theory

Fields

Name Description
val theory: Theory

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

Constructors

<init>

constructor(theory: Theory)

A failed "retract" operation result, carrying the unchanged theory

Parameters

Name Description
theory: Theory