assertA

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

Adds given clause before all other clauses in this theory

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

Adds the given clauses before all other clauses in this theory