retract

abstract fun retract(clause: Clause): RetractResult<Theory>
Content copied to clipboard
open fun retract(head: Struct): RetractResult<Theory>
Content copied to clipboard

Tries to delete a matching clause from this theory

abstract fun retract(clauses: Iterable<Clause>): RetractResult<Theory>
Content copied to clipboard
abstract fun retract(clauses: Sequence<Clause>): RetractResult<Theory>
Content copied to clipboard

Tries to delete the matching clauses from this theory