Module org.chocosolver

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

Class RootDecision

java.lang.Object

org.chocosolver.solver.search.strategy.decision.Decision

org.chocosolver.solver.search.strategy.decision.RootDecision

All Implemented Interfaces:

Serializable, ICause

public class RootDecision
extends Decision

Since:

01/06/12

Author:

Charles Prud'homme

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
static RootDecision	ROOT

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

branch, max_branching, var

Method Summary

Modifier and Type	Method	Description
void	apply()	Apply the current decision
void	free()	Free the decision, ie, it can be reused
Object	getDecisionValue()	Return the value object involves in the decision
void	reverse()	Reverse the decision operator
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

Field Detail

ROOT

public static final RootDecision ROOT

Method Detail

getDecisionValue

public Object getDecisionValue()

Description copied from class: Decision

Return the value object involves in the decision

Specified by:

getDecisionValue in class Decision

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

Throws:

ContradictionException - if the application of this decision fails

free

public void free()

Description copied from class: Decision

Free the decision, ie, it can be reused

Specified by:

free in class Decision

reverse

public void reverse()

Description copied from class: Decision

Reverse the decision operator

Overrides:

reverse in class Decision

toString

public String toString()

Overrides:

toString in class Object