Success

data class Success: RetractResult

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

Fields

Name Description
val firstClause: Clause

Gets the first successfully retracted clause

val theory: Theory

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

val clauses: Iterable<Clause>

Constructors

<init>

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

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

Parameters

Name Description
theory: Theory
clauses: Iterable<Clause>