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, Comparable, ICause, Identity

public class RootDecision
extends Decision

Since:

01/06/12

Author:

Charles Prud'homme

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static RootDecision	ROOT

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

_ID, branch, once, previous, var

Constructor Summary

Constructors

Constructor and Description
RootDecision()

Method Summary

Methods

Modifier and Type	Method and Description
void	apply() Apply the current decision
void	buildNext() Build the refutation, hasNext() must be called before
int	compareTo(Object o)
void	free() Free the decision, ie, it can be reused
DecisionOperator	getDecisionOperator()
Object	getDecisionValue() Return the value object involves in the decision
Variable	getDecisionVariable() Return the variable object involves in the decision
Decision	getPrevious() Return the previous decision applied in the tree search
boolean	hasNext() Return true if the decision can be refuted
void	reverse() Reverse the decision operator
void	rewind() Force the decision to be in its creation state.
void	setPrevious(Decision decision) Set the previous decision applied in the tree search
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

compareTo, duplicate, getId, getWorldIndex, once, set, setWorldIndex, triesLeft

Methods inherited from class java.lang.Object

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

Field Detail

ROOT

public static RootDecision ROOT

Constructor Detail

RootDecision

public RootDecision()

Method Detail

getDecisionVariable

public Variable getDecisionVariable()

Description copied from class: Decision

Return the variable object involves in the decision

Overrides:

getDecisionVariable in class Decision

Returns:

a variable V

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

getDecisionOperator

public DecisionOperator getDecisionOperator()

Specified by:

getDecisionOperator in class Decision

hasNext

public boolean hasNext()

Description copied from class: Decision

Return true if the decision can be refuted

Overrides:

hasNext in class Decision

Returns:

true if the decision can be refuted, false otherwise

buildNext

public void buildNext()

Description copied from class: Decision

Build the refutation, hasNext() must be called before

Overrides:

buildNext in class Decision

rewind

public void rewind()

Description copied from class: Decision

Force the decision to be in its creation state.

Overrides:

rewind in class Decision

apply

public void apply()
           throws ContradictionException

Description copied from class: Decision

Apply the current decision

Specified by:

apply in class Decision

Throws:

ContradictionException

setPrevious

public void setPrevious(Decision decision)

Description copied from class: Decision

Set the previous decision applied in the tree search

Overrides:

setPrevious in class Decision

Parameters:

decision - previous decision

getPrevious

public Decision getPrevious()

Description copied from class: Decision

Return the previous decision applied in the tree search

Overrides:

getPrevious in class Decision

Returns:

the previous decision

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

compareTo

public int compareTo(Object o)

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