org.chocosolver.solver.search.strategy.assignments

Class DecisionOperatorFactory

java.lang.Object

org.chocosolver.solver.search.strategy.assignments.DecisionOperatorFactory

public final class DecisionOperatorFactory
extends Object

Create serializable decisions. Decisions are static nested classes because serialization of lambda functions or anonymous classes is compiler-dependent. Furthermore, the serialization of the singleton pattern requires a special treatment.

Author:

Arnaud Malapert

See Also:

stack overflow

Method Summary

Modifier and Type	Method and Description
static DecisionOperator<IntVar>	makeIntEq()
static DecisionOperator<IntVar>	makeIntNeq()
static DecisionOperator<IntVar>	makeIntReverseSplit()
static DecisionOperator<IntVar>	makeIntSplit()
static DecisionOperator<SetVar>	makeSetForce()
static DecisionOperator<SetVar>	makeSetRemove()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

makeIntEq

public static DecisionOperator<IntVar> makeIntEq()

makeIntNeq

public static DecisionOperator<IntVar> makeIntNeq()

makeIntSplit

public static DecisionOperator<IntVar> makeIntSplit()

makeIntReverseSplit

public static DecisionOperator<IntVar> makeIntReverseSplit()

makeSetForce

public static DecisionOperator<SetVar> makeSetForce()

makeSetRemove

public static DecisionOperator<SetVar> makeSetRemove()