Module org.chocosolver

Package org.chocosolver.solver.search.strategy

Class BoundSearch

java.lang.Object

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

org.chocosolver.solver.search.strategy.BoundSearch

public class BoundSearch
extends AbstractStrategy<IntVar>

BEWARE: ONLY FOR INTEGERS (lets the default search work for other variable types) Search heuristic combined with a constraint performing strong consistency on the next decision variable and branching on the value with the best objective bound (for optimization) and branches on the lower bound for SAT problems.

Author:

Jean-Guillaume FAGES

Field Summary

Fields

Modifier and Type	Field	Description
int	MAX_DOM_SIZE

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

vars

Constructor Summary

Constructors

Constructor	Description
BoundSearch(AbstractStrategy<IntVar> mainSearch)

Method Summary

Modifier and Type	Method	Description
Decision<IntVar>	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
void	remove()	Remove the current strategy.

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

computeDecision, getVariables, makeIntDecision, toString

Methods inherited from class java.lang.Object

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

Field Detail

MAX_DOM_SIZE

public int MAX_DOM_SIZE

Constructor Detail

BoundSearch

public BoundSearch(AbstractStrategy<IntVar> mainSearch)

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

remove

public void remove()

Description copied from class: AbstractStrategy

Remove the current strategy. This implies unplugging variable or search monitors.

Overrides:

remove in class AbstractStrategy<IntVar>

getDecision

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