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

public class SetStrategy
extends AbstractStrategy<SetVar>

Strategy for branching on set variables

Since:

6/10/13

Author:

Jean-Guillaume Fages

Field Summary

Fields

Modifier and Type	Field and Description
protected DecisionOperator<SetVar>	operator A decision operator
protected SetValueSelector	valSelector How a value is selected
protected VariableSelector<SetVar>	varSelector How a variable is selected

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

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

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.
boolean	init() Prepare this to be used in a search loop The initialization can detect inconsistency, in that case, it returns false

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

getVariables, makeIntDecision, toString

Methods inherited from class java.lang.Object

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

Field Detail

varSelector

protected VariableSelector<SetVar> varSelector

How a variable is selected

valSelector

protected SetValueSelector valSelector

How a value is selected

operator

protected DecisionOperator<SetVar> operator

A decision 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 boolean init()

Description copied from class: AbstractStrategy

Prepare this to be used in a search loop The initialization can detect inconsistency, in that case, it returns false

Overrides:

init in class AbstractStrategy<SetVar>

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