RetractResult

sealed class RetractResult<out T : Theory>
Content copied to clipboard

A result given after a "retract" operation

Types

Failure
Link copied to clipboard
data class Failure<T : Theory>(theory: T) : RetractResult<T>
Content copied to clipboard
A failed "retract" operation result, carrying the unchanged theory
Success
Link copied to clipboard
data class Success<T : Theory>(theory: T, clauses: Iterable<Clause>) : RetractResult<T>
Content copied to clipboard
A successful "retract" operation result, carrying the new theory and removed clauses

Properties

clauses
Link copied to clipboard
abstract val clauses: Iterable<Clause>?
Content copied to clipboard
firstClause
Link copied to clipboard
abstract val firstClause: Clause?
Content copied to clipboard
Gets the first successfully retracted clause
isFailure
Link copied to clipboard
open val isFailure: Boolean
Content copied to clipboard
isSuccess
Link copied to clipboard
open val isSuccess: Boolean
Content copied to clipboard
theory
Link copied to clipboard
abstract val theory: T
Content copied to clipboard
The result always present value, is the clause database resulting from the operation execution

Inheritors

RetractResult
Link copied to clipboard
RetractResult
Link copied to clipboard