assertZ

abstract override fun assertZ(clause: Clause): MutableTheory
Content copied to clipboard
open override fun assertZ(struct: Struct): MutableTheory
Content copied to clipboard

Adds given clause after all other clauses in this theory

abstract override fun assertZ(clauses: Iterable<Clause>): MutableTheory
Content copied to clipboard
abstract override fun assertZ(clauses: Sequence<Clause>): MutableTheory
Content copied to clipboard

Adds the given clauses after all other clauses in this theory