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

SetFlags

data class SetFlags(val flags: Map<String, Term>) : SideEffect.AlterFlagsByEntries

Merges flags into the current FlagStore, overriding any existing entry with the same name.

Constructors

constructor(flags: Map<String, Term>)

constructor(vararg flags: Pair<String, Term>)

constructor(flags: Iterable<Pair<String, Term>>)

constructor(flags: Sequence<Pair<String, Term>>)

Properties

open override val flags: Map<String, Term>

val flagStore: FlagStore

flags, normalized to a FlagStore.

Functions

open override fun applyTo(context: ExecutionContext): ExecutionContext

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