solve/it.unibo.tuprolog.solve.sideffects/SideEffectFactory/removeOperators

removeOperators

open fun removeOperators(operators: Iterable<<ERROR CLASS>>): SideEffect.RemoveOperators
Content copied to clipboard
open fun removeOperators(operators: Sequence<<ERROR CLASS>>): SideEffect.RemoveOperators
Content copied to clipboard
open fun removeOperators(vararg operators: <ERROR CLASS>): SideEffect.RemoveOperators
Content copied to clipboard