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

ResetOperators

data class ResetOperators(val operators: Iterable<Operator>) : SideEffect.AlterOperators

Nominally replaces the whole OperatorSet with operators.

Constructors

constructor(operators: Iterable<Operator>)

constructor(vararg operators: Operator)

constructor(operators: Sequence<Operator>)

Properties

open override val operators: Iterable<Operator>

val operatorSet: OperatorSet

operators, normalized to an OperatorSet.

Functions

open override fun applyTo(context: ExecutionContext): ExecutionContext

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