assertZ

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

Adds given clause after all other clauses in this theory

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

Adds the given clauses after all other clauses in this theory