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

AlterOperators

abstract class AlterOperators(val operators: Iterable<Operator>) : SideEffect

Base class for side effects altering the declared OperatorSet.

Inheritors

Constructors

Link copied to clipboard
constructor(operators: Iterable<Operator>)

Properties

Link copied to clipboard
Link copied to clipboard
val operatorSet: OperatorSet

operators, normalized to an OperatorSet.

Functions

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

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

Generated by Dokka
© 2026 Copyright