org.chocosolver.solver.search.strategy.strategy

Class SetStrategy

java.lang.Object

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

org.chocosolver.solver.search.strategy.strategy.SetStrategy

All Implemented Interfaces:

Serializable

public class SetStrategy
extends AbstractStrategy<SetVar>

Strategy for branching on set variables

Since:

6/10/13

Author:

Jean-Guillaume Fages

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected DecisionOperator<SetVar>	operator
protected PoolManager<FastDecisionSet>	pool
protected SetValueSelector	valSelector
protected VariableSelector<SetVar>	varSelector

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

LOGGER, vars

Constructor Summary

Constructors

Constructor and Description
SetStrategy(SetVar[] scope, VariableSelector<SetVar> varS, SetValueSelector valS, boolean enforceFirst) Generic strategy to branch on set variables

Method Summary

Methods

Modifier and Type	Method and Description
Decision<SetVar>	computeDecision(SetVar s) Computes a decision to be applied to variable var This method should be implemented in order to use search patterns
Decision<SetVar>	getDecision() Provides access to the current decision in the strategy.
void	init() Prepare this to be used in a search loop

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

getVariables, toString

Methods inherited from class java.lang.Object

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

Field Detail

pool

protected PoolManager<FastDecisionSet> pool

varSelector

protected VariableSelector<SetVar> varSelector

valSelector

protected SetValueSelector valSelector

operator

protected DecisionOperator<SetVar> operator

Constructor Detail

SetStrategy

public SetStrategy(SetVar[] scope,
           VariableSelector<SetVar> varS,
           SetValueSelector valS,
           boolean enforceFirst)

Generic strategy to branch on set variables

Parameters:

scope - SetVar array to branch on

varS - variable selection strategy

valS - integer selection strategy

enforceFirst - branching order true = enforce first; false = remove first

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

Throws:

ContradictionException

getDecision

public Decision<SetVar> getDecision()

Description copied from class: AbstractStrategy

Provides access to the current decision in the strategy. If there are no more decision to provide, it returns null.

Specified by:

getDecision in class AbstractStrategy<SetVar>

Returns:

the current decision

computeDecision

public Decision<SetVar> computeDecision(SetVar s)

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

Parameters:

s - a variable

Returns:

a decision to be applied to variable var