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

AlterOperators

abstract class AlterOperators(val operators: Iterable<<ERROR CLASS>>) : SideEffect
Content copied to clipboard

Constructors

Link copied to clipboard
fun AlterOperators(operators: Iterable<<ERROR CLASS>>)
Content copied to clipboard

Functions

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

Properties

Link copied to clipboard
open val operators: Iterable<<ERROR CLASS>>
Content copied to clipboard
Link copied to clipboard
val operatorSet: <ERROR CLASS>
Content copied to clipboard

Inheritors

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard