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

AlterFlagsByEntries

abstract class AlterFlagsByEntries(val flags: Map<String, Term>) : SideEffect.AlterFlags

Base class for AlterFlags side effects carrying explicit name-value flags entries.

Inheritors

Constructors

Link copied to clipboard
constructor(flags: Map<String, Term>)

Properties

Link copied to clipboard
open val flags: Map<String, Term>
Link copied to clipboard
val flagStore: FlagStore

flags, normalized to a FlagStore.

Functions

Link copied to clipboard
abstract fun applyTo(context: ExecutionContext): ExecutionContext

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

Generated by Dokka
© 2026 Copyright