Module org.chocosolver

Package org.chocosolver.solver.search.strategy.strategy

Class ConflictOrderingSearch<V extends Variable>

java.lang.Object

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

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

All Implemented Interfaces:

IMonitorContradiction, ISearchMonitor

public class ConflictOrderingSearch<V extends Variable>
extends AbstractStrategy<V>
implements IMonitorContradiction

Conflict Ordering Search Composite heuristic which hacks a mainStrategy by forcing the use of variables involved in recent conflicts See "Conflict Ordering Search for Scheduling Problems", Steven Gay et al., CP2015.

Since:

15/06/2016

Author:

Charles Prud'homme

Field Summary

Fields

Modifier and Type	Field	Description
protected Model	model	The target solver
protected Set<V>	scope

Constructor Summary

Constructors

Constructor	Description
ConflictOrderingSearch(Model model, AbstractStrategy<V> mainStrategy)	Creates a conflict-ordering search

Method Summary

Modifier and Type	Method	Description
Decision<V>	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	onContradiction(ContradictionException cex)
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

model

protected Model model

The target solver

scope

protected Set<V extends Variable> scope

Constructor Detail

ConflictOrderingSearch

public ConflictOrderingSearch(Model model,
                              AbstractStrategy<V> mainStrategy)

Creates a conflict-ordering search

Parameters:

model - the solver to attach this to

mainStrategy - the main strategy declared

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

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

getDecision

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

onContradiction

public void onContradiction(ContradictionException cex)

Specified by:

onContradiction in interface IMonitorContradiction