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

RemoveOperators

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

Removes operators from the current OperatorSet.

Constructors

RemoveOperators

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.