org.chocosolver.solver.search.strategy.strategy

Class IntStrategy

java.lang.Object

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

org.chocosolver.solver.search.strategy.strategy.IntStrategy

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

Once

public class IntStrategy
extends AbstractStrategy<IntVar>

Class to perform branching decisions over integer variables

Since:

2 juil. 2010

Author:

Charles Prud'homme, Jean-Guillaume Fages

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
IntStrategy(IntVar[] scope, VariableSelector<IntVar> varSelector, IntValueSelector valSelector) Creates a search strategy which selects a variable X and a value V to perform the decision X = V BEWARE: if the variable domain is not enumerated, the value V should be a domain bound.
IntStrategy(IntVar[] scope, VariableSelector<IntVar> varSelector, IntValueSelector valSelector, DecisionOperator<IntVar> decOperator) Creates a search strategy which selects a variable X and a value V to perform the decision X decOperator V This can be X <= V for instance.

Method Summary

Methods

Modifier and Type	Method and Description
Decision<IntVar>	computeDecision(IntVar 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

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

Constructor Detail

IntStrategy

public IntStrategy(IntVar[] scope,
           VariableSelector<IntVar> varSelector,
           IntValueSelector valSelector)

Creates a search strategy which selects a variable X and a value V to perform the decision X = V BEWARE: if the variable domain is not enumerated, the value V should be a domain bound. Otherwise, the decision cannot be negated, and the search may loop infinitely.

Parameters:

scope - defines which variables to branch on

varSelector - defines how to select the next variable to branch on

valSelector - defines how to select the value involved in the branching decision

IntStrategy

public IntStrategy(IntVar[] scope,
           VariableSelector<IntVar> varSelector,
           IntValueSelector valSelector,
           DecisionOperator<IntVar> decOperator)

Creates a search strategy which selects a variable X and a value V to perform the decision X decOperator V This can be X <= V for instance. BEWARE: if the variable domain is not enumerated, and if the operator is either "=" or "!=", then the value V should be a domain bound. Otherwise, the decision cannot be negated, and the search may loop infinitely.

Parameters:

scope - defines which variables to branch on

varSelector - defines how to select the next variable to branch on

valSelector - defines how to select the value involved in the branching decision

decOperator - defines what to do in a branching decision

Method Detail

init

public void init()

Description copied from class: AbstractStrategy

Prepare this to be used in a search loop

Specified by:

init in class AbstractStrategy<IntVar>

computeDecision

public Decision<IntVar> computeDecision(IntVar 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<IntVar>

Parameters:

variable - a variable

Returns:

a decision to be applied to variable var

getDecision

public Decision 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<IntVar>

Returns:

the current decision