theory/it.unibo.tuprolog.theory/MutableTheory/assertA

assertA

abstract override fun assertA(clause: <ERROR CLASS>): MutableTheory
Content copied to clipboard
open override fun assertA(struct: <ERROR CLASS>): MutableTheory
Content copied to clipboard
abstract override fun assertA(clauses: Iterable<<ERROR CLASS>>): MutableTheory
Content copied to clipboard
abstract override fun assertA(clauses: Sequence<<ERROR CLASS>>): MutableTheory
Content copied to clipboard

Adds given clause before all other clauses in this theory