org.chocosolver.solver.search.strategy.decision

Class IntDecision

java.lang.Object

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

org.chocosolver.solver.search.strategy.decision.IntDecision

All Implemented Interfaces:

Serializable, ICause

public class IntDecision
extends Decision<IntVar>

A decision based on a IntVar

Since:

2 juil. 2010

Author:

Charles Prud'homme

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 and Description
IntDecision(PoolManager<IntDecision> poolManager) Create an decision based on an IntVar

Method Summary

Modifier and Type	Method and Description
void	apply() Apply the current decision
IntDecision	duplicate()
IntDecision	flip()
void	free() Free the decision, ie, it can be reused
Integer	getDecisionValue() Return the value object involves in the decision
DecisionOperator<IntVar>	getDecOp()
boolean	isEquivalentTo(Decision dec)
void	reverse() Reverse the decision operator
void	set(IntVar v, int value, DecisionOperator<IntVar> assignment) Instantiate this decision with the parameters
String	toString()
boolean	why(RuleStore ruleStore, IntVar var, IEventType evt, int value) Add new rules to the rule store

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

IntDecision

public IntDecision(PoolManager<IntDecision> poolManager)

Create an decision based on an IntVar

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<IntVar>

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<IntVar>

Throws:

ContradictionException - if the application of this decision fails

set

public void set(IntVar v,
                int value,
                DecisionOperator<IntVar> assignment)

Instantiate this decision with the parameters

Parameters:

v - a variable

value - a value

assignment - a decision operator

reverse

public void reverse()

Description copied from class: Decision

Reverse the decision operator

Overrides:

reverse in class Decision<IntVar>

free

public void free()

Description copied from class: Decision

Free the decision, ie, it can be reused

Specified by:

free in class Decision<IntVar>

duplicate

public IntDecision duplicate()

Overrides:

duplicate in class Decision<IntVar>

Returns:

a copy of this decision

isEquivalentTo

public boolean isEquivalentTo(Decision dec)

Overrides:

isEquivalentTo in class Decision<IntVar>

Parameters:

dec - a decision

Returns:

true if the two decisions are equivalent (same variable, same operator, same value)

getDecOp

public DecisionOperator<IntVar> getDecOp()

Returns:

the current decision operator

flip

public IntDecision flip()

Returns:

a copy of this decision wherein the he decision operator is reversed

toString

public String toString()

Overrides:

toString in class Object

why

public boolean why(RuleStore ruleStore,
                   IntVar var,
                   IEventType evt,
                   int value)

Description copied from interface: ICause

Add new rules to the rule store

Parameters:

ruleStore - the rule store

var - the modified variable

evt - the undergoing event

value - the value (for REMOVE only)

Returns:

true if at least one rule has been added to the rule store