AddDynamicClauses

data class AddDynamicClauses(val clauses: Iterable<<ERROR CLASS>>, val onTop: Boolean = false) : SideEffect.AddClausesToKb

Constructors

fun AddDynamicClauses(vararg clauses: <ERROR CLASS>, onTop: Boolean = false)

fun AddDynamicClauses(clauses: Sequence<<ERROR CLASS>>, onTop: Boolean = false)

fun AddDynamicClauses(clauses: Iterable<<ERROR CLASS>>, onTop: Boolean = false)

open override val clauses: Iterable<<ERROR CLASS>>

val mutableTheory: <ERROR CLASS>

open override val onTop: Boolean = false

val theory: <ERROR CLASS>