Success

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

Constructors

Success
Link copied to clipboard
fun <T : Theory> Success(theory: T, clauses: Iterable<Clause>)
Content copied to clipboard

Properties

clauses
Link copied to clipboard
open override val clauses: Iterable<Clause>
Content copied to clipboard
firstClause
Link copied to clipboard
open override 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 override val isSuccess: Boolean
Content copied to clipboard
theory
Link copied to clipboard
open override val theory: T
Content copied to clipboard
The result always present value, is the clause database resulting from the operation execution