Module org.chocosolver

Package org.chocosolver.solver.search.strategy.decision

Class SetDecision

java.lang.Object

org.chocosolver.solver.search.strategy.decision.Decision<SetVar>

org.chocosolver.solver.search.strategy.decision.SetDecision

All Implemented Interfaces:

Serializable, ICause

public class SetDecision
extends Decision<SetVar>

A decision based on a SetVar

Since:

Jan. 2013

Author:

Jean-Guillaume Fages

See Also:

Serialized Form

Field Summary

Fields inherited from class org.chocosolver.solver.search.strategy.decision.Decision

branch, max_branching, var

Constructor Summary

Constructors

Constructor	Description
SetDecision(PoolManager<SetDecision> poolManager)	Create an decision based on an SetVar

Method Summary

Modifier and Type	Method	Description
void	apply()	Apply the current decision
void	free()	Free the decision, ie, it can be reused
Integer	getDecisionValue()	Return the value object involves in the decision
void	reverse()	Reverse the decision operator
void	set(SetVar v, int value, DecisionOperator<SetVar> operator)	Instantiate this decision with the parameters
String	toString()

Methods inherited from class org.chocosolver.solver.search.strategy.decision.Decision

buildNext, duplicate, getArity, getDecisionVariable, getPosition, hasNext, isEquivalentTo, rewind, set, setPosition, setRefutable, triesLeft

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.chocosolver.solver.ICause

explain, forEachIntVar

Constructor Detail

SetDecision

public SetDecision(PoolManager<SetDecision> poolManager)

Create an decision based on an SetVar

Parameters:

poolManager - decision pool manager, to recycle decisions

Method Detail

getDecisionValue

public Integer getDecisionValue()

Description copied from class: Decision

Return the value object involves in the decision

Specified by:

getDecisionValue in class Decision<SetVar>

Returns:

a value object

apply

public void apply()
           throws ContradictionException

Description copied from class: Decision

Apply the current decision

Specified by:

apply in class Decision<SetVar>

Throws:

ContradictionException - if the application of this decision fails

set

public void set(SetVar v,
                int value,
                DecisionOperator<SetVar> operator)

Instantiate this decision with the parameters

Parameters:

v - a variable

value - a value

reverse

public void reverse()

Description copied from class: Decision

Reverse the decision operator

Overrides:

reverse in class Decision<SetVar>

free

public void free()

Description copied from class: Decision

Free the decision, ie, it can be reused

Specified by:

free in class Decision<SetVar>

toString

public String toString()

Overrides:

toString in class Object