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

AlterFlagsByName

abstract class AlterFlagsByName(val names: Iterable<String>) : SideEffect.AlterFlags

Base class for AlterFlags side effects addressing flags by names only (e.g. to clear them).

Inheritors

Constructors

Link copied to clipboard
constructor(names: Iterable<String>)

Properties

Link copied to clipboard
open val names: Iterable<String>

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