org.chocosolver.solver.search.loop.lns.neighbors

Class ExplainingObjective

java.lang.Object

org.chocosolver.solver.search.loop.lns.neighbors.ExplainingCut

org.chocosolver.solver.search.loop.lns.neighbors.ExplainingObjective

All Implemented Interfaces:

INeighbor

public class ExplainingObjective
extends ExplainingCut

a specific neighborhood for LNS based on the explanation of the objective variable.

This neightborhood is specific in the sense that it needs to compute explanation on a solution. Furthermore, the fixSomeVariables method creates and applies decision, so that the explanation recorder can infer.

Since:

03/07/13

Author:

Charles Prud'homme

Field Summary

Fields inherited from class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingCut

forceCft, mDecisionPath, mExplanationEngine, mModel, nbCall, nbFixedVariables, notFrozen, random, related, unrelated

Constructor Summary

Constructors

Constructor and Description
ExplainingObjective(Model aModel, int level, long seed) Create a neighborhood which analyses the explanation of the objective current value to focus on decisions more prone to improve its value

Method Summary

Modifier and Type	Method and Description
protected void	_fixVar() Regarding the explanation, pick decisions to create a fragment
protected void	explain() Force the failure, apply decisions to the last solution + cut => failure!
void	init() Initialize this neighbor
void	recordSolution() Record values of decision variables to freeze some ones during the next LNS run

Methods inherited from class org.chocosolver.solver.search.loop.lns.neighbors.ExplainingCut

clonePath, fixSomeVariables, increaseLimit, isSearchComplete, loadFromSolution, restrictLess

Methods inherited from class java.lang.Object

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

Constructor Detail

ExplainingObjective

public ExplainingObjective(Model aModel,
                           int level,
                           long seed)

Create a neighborhood which analyses the explanation of the objective current value to focus on decisions more prone to improve its value

Parameters:

aModel - a model

level - relaxong factor

seed - for randomness

Method Detail

recordSolution

public void recordSolution()

Description copied from interface: INeighbor

Record values of decision variables to freeze some ones during the next LNS run

Specified by:

recordSolution in interface INeighbor

Overrides:

recordSolution in class ExplainingCut

_fixVar

protected void _fixVar()

Description copied from class: ExplainingCut

Regarding the explanation, pick decisions to create a fragment

Overrides:

_fixVar in class ExplainingCut

init

public void init()

Description copied from interface: INeighbor

Initialize this neighbor

Specified by:

init in interface INeighbor

Overrides:

init in class ExplainingCut

explain

protected void explain()

Description copied from class: ExplainingCut

Force the failure, apply decisions to the last solution + cut => failure!

Overrides:

explain in class ExplainingCut