Success

data class Success<T : Theory> : RetractResult<T>

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

Fields

Name Description
val isSuccess: Boolean
val firstClause: Clause

Gets the first successfully retracted clause

val theory: T

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

val clauses: Iterable<Clause>

Constructors

<init>

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

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

Parameters

Name Description
theory: T
clauses: Iterable<Clause>