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

ClearFlags

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

Constructors

Link copied to clipboard
fun ClearFlags(vararg names: String)
Content copied to clipboard
Link copied to clipboard
fun ClearFlags(names: Sequence<String>)
Content copied to clipboard
Link copied to clipboard
fun ClearFlags(names: Iterable<String>)
Content copied to clipboard

Functions

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

Properties

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