assertA

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

Adds given clause before all other clauses in this theory

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

Adds the given clauses before all other clauses in this theory