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

ResetStaticKb

data class ResetStaticKb(val clauses: Iterable<Clause>) : SideEffect.SetClausesOfKb

Replaces the static knowledge base with a Theory built out of clauses.

Constructors

constructor(clauses: Iterable<Clause>)

constructor(vararg clauses: Clause)

constructor(clauses: Sequence<Clause>)

Properties

open override val clauses: Iterable<Clause>

Functions

open override fun applyTo(context: ExecutionContext): ExecutionContext

Produces the ExecutionContext resulting from applying this side effect to context.

fun mutableTheory(context: ExecutionContext): Theory

clauses as a MutableTheory, converting it if necessary.

fun theory(context: ExecutionContext): Theory

clauses as a Theory, reusing it as-is if it already is one.