org.chocosolver.solver.search.strategy.strategy

Class StrategiesSequencer

java.lang.Object

org.chocosolver.solver.search.strategy.strategy.AbstractStrategy<Variable>

org.chocosolver.solver.search.strategy.strategy.StrategiesSequencer

All Implemented Interfaces:

Serializable

public class StrategiesSequencer
extends AbstractStrategy<Variable>

A StrategiesSequencer is class for AbstractStrategy composition. this is created with a list of AbstractStrategy, and calling getDecision() retrieves the current active AbstractStrategy and calls the delegate getDecision() method.
A AbstractStrategy becomes "inactive" when no more decision can be computed, ie every decisions have been computed and used.

Since:

5 juil. 2010

Author:

Charles Prud'homme

See Also:

Serialized Form

Field Summary

Fields inherited from class org.chocosolver.solver.search.strategy.strategy.AbstractStrategy

LOGGER, vars

Constructor Summary

Constructors

Constructor and Description
StrategiesSequencer(AbstractStrategy... strategies)
StrategiesSequencer(IEnvironment environment, AbstractStrategy... strategies)

Method Summary

Methods

Modifier and Type	Method and Description
Decision<Variable>	computeDecision(Variable variable) Computes a decision to be applied to variable var This method should be implemented in order to use search patterns
Decision	getDecision() Provides access to the current decision in the strategy.
void	init() Prepare this to be used in a search loop
String	toString() Creates a String object containing a pretty print of the current variables.

Methods inherited from class org.chocosolver.solver.search.strategy.strategy.AbstractStrategy

getVariables

Methods inherited from class java.lang.Object

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

Constructor Detail

StrategiesSequencer

public StrategiesSequencer(IEnvironment environment,
                   AbstractStrategy... strategies)

StrategiesSequencer

public StrategiesSequencer(AbstractStrategy... strategies)

Method Detail

init

public void init()
          throws ContradictionException

Description copied from class: AbstractStrategy

Prepare this to be used in a search loop

Specified by:

init in class AbstractStrategy<Variable>

Throws:

ContradictionException

computeDecision

public Decision<Variable> computeDecision(Variable variable)

Description copied from class: AbstractStrategy

Computes a decision to be applied to variable var This method should be implemented in order to use search patterns

Overrides:

computeDecision in class AbstractStrategy<Variable>

Parameters:

variable - a variable

Returns:

a decision to be applied to variable var

getDecision

public Decision getDecision()

Provides access to the current decision in the strategy. If there are no more decision to provide, it returns null. Iterates over the declared sub-strategies and gets the overall current decision.

Specified by:

getDecision in class AbstractStrategy<Variable>

Returns:

the current decision

toString

public String toString()

Creates a String object containing a pretty print of the current variables. This is based on the print() method of every sub-strategies.

Overrides:

toString in class AbstractStrategy<Variable>

Returns:

a String object