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

AddStaticClauses

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

Constructors

AddStaticClauses

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

AddStaticClauses

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

AddStaticClauses

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

Functions

open override fun applyTo(context: ExecutionContext): ExecutionContext

Properties

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

val mutableTheory: <ERROR CLASS>

open override val onTop: Boolean = false

val theory: <ERROR CLASS>