org.chocosolver.solver.search.strategy.strategy

Class FindAndProve<V extends Variable>

java.lang.Object

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

org.chocosolver.solver.search.strategy.strategy.FindAndProve<V>

Type Parameters:

V -

All Implemented Interfaces:

Serializable

public class FindAndProve<V extends Variable>
extends AbstractStrategy<V>

Enables to switch from one heuristic to another once a solution has been found

Since:

07/11/13

Author:

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
FindAndProve(V[] vars, AbstractStrategy<V> heurToFindASol, AbstractStrategy<V> heurToProveOpt) Heuristic which switches from one heuristic (heurToFindASol) to another (heurToProveOpt) once a solution has been found

Method Summary

Methods

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

FindAndProve

public FindAndProve(V[] vars,
            AbstractStrategy<V> heurToFindASol,
            AbstractStrategy<V> heurToProveOpt)

Heuristic which switches from one heuristic (heurToFindASol) to another (heurToProveOpt) once a solution has been found

Parameters:

vars - variables to branch on

heurToFindASol - a heuristic to branch on vars, to find a (good) solution easily

heurToProveOpt - a heuristic to branch on vars, to prove the optimality of the solution

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<V extends Variable>

Throws:

ContradictionException

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<V extends Variable>

Returns:

the current decision

computeDecision

public Decision<V> computeDecision(V 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<V extends Variable>

Parameters:

variable - a variable

Returns:

a decision to be applied to variable var