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

SetOperators

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

Merges operators into the current OperatorSet.

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.