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

RemoveDynamicClauses

data class RemoveDynamicClauses(val clauses: Iterable<<ERROR CLASS>>) : SideEffect.RemoveClausesFromKb
Content copied to clipboard

Constructors

Link copied to clipboard
fun RemoveDynamicClauses(vararg clauses: <ERROR CLASS>)
Content copied to clipboard
Link copied to clipboard
fun RemoveDynamicClauses(clauses: Sequence<<ERROR CLASS>>)
Content copied to clipboard
Link copied to clipboard
fun RemoveDynamicClauses(clauses: Iterable<<ERROR CLASS>>)
Content copied to clipboard

Functions

Link copied to clipboard
open override fun applyTo(context: ExecutionContext): ExecutionContext
Content copied to clipboard

Properties

Link copied to clipboard
open override val clauses: Iterable<<ERROR CLASS>>
Content copied to clipboard
Link copied to clipboard
val mutableTheory: <ERROR CLASS>
Content copied to clipboard
Link copied to clipboard
val theory: <ERROR CLASS>
Content copied to clipboard