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>
A successful "retract" operation result, carrying the new theory and removed clauses