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

ResetFlags

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

Replaces the whole FlagStore with one built out of flags.

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.