solve/it.unibo.tuprolog.solve.sideffects/SideEffect/AddClausesToKb

AddClausesToKb

abstract class AddClausesToKb(val clauses: Iterable<<ERROR CLASS>>, val onTop: Boolean) : SideEffect.SetClausesOfKb

Constructors

fun AddClausesToKb(clauses: Iterable<<ERROR CLASS>>, onTop: Boolean)

Functions

abstract fun applyTo(context: ExecutionContext): ExecutionContext

Properties

open val clauses: Iterable<<ERROR CLASS>>

val mutableTheory: <ERROR CLASS>

open val onTop: Boolean

val theory: <ERROR CLASS>

Inheritors

AddStaticClauses

AddDynamicClauses