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

SetClausesOfKb

abstract class SetClausesOfKb(val clauses: Iterable<Clause>) : SideEffect

Base class for side effects computing a Theory (or MutableTheory) out of clauses, for either knowledge base.

Inheritors

RemoveClausesFromKb

Constructors

constructor(clauses: Iterable<Clause>)

Properties

open val clauses: Iterable<Clause>

Functions

abstract 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.