retractAll

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

Tries to delete all matching clauses from this theory