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

AlterFlagsByName

abstract class AlterFlagsByName(val names: Iterable<String>) : SideEffect.AlterFlags
Content copied to clipboard

Constructors

Link copied to clipboard
fun AlterFlagsByName(names: Iterable<String>)
Content copied to clipboard

Functions

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

Properties

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

Inheritors

Link copied to clipboard