org.chocosolver.solver.search.strategy.strategy

Class ConflictOrdering

java.lang.Object

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

org.chocosolver.solver.search.strategy.strategy.ConflictOrdering

All Implemented Interfaces:

Serializable, IMonitorContradiction, IMonitorRestart, IMonitorSolution, ISearchMonitor

public class ConflictOrdering
extends AbstractStrategy<Variable>
implements IMonitorRestart, IMonitorSolution, IMonitorContradiction

Conflict Ordering Search by S.Gay, R.Hartert, C.Lecoutre and P.Schaus

Author:

Charles Prud'homme

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	active
protected long	failure
protected BitSet	inscope
protected AbstractStrategy<Variable>	mainStrategy
protected int	nbvar
protected Solver	solver
protected long[]	timestamps
protected int[]	var2id

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

LOGGER, vars

Constructor Summary

Constructors

Constructor and Description
ConflictOrdering(Solver solver, AbstractStrategy<Variable> mainStrategy)

Method Summary

Methods

Modifier and Type	Method and Description
void	afterRestart()
void	beforeRestart()
Decision	getDecision() Provides access to the current decision in the strategy.
void	init() Prepare this to be used in a search loop
void	onContradiction(ContradictionException cex)
void	onSolution()

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

computeDecision, getVariables, toString

Methods inherited from class java.lang.Object

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

Field Detail

solver

protected Solver solver

mainStrategy

protected AbstractStrategy<Variable> mainStrategy

active

protected boolean active

nbvar

protected int nbvar

var2id

protected int[] var2id

timestamps

protected long[] timestamps

failure

protected long failure

inscope

protected BitSet inscope

Constructor Detail

ConflictOrdering

public ConflictOrdering(Solver solver,
                AbstractStrategy<Variable> mainStrategy)

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

Returns:

the current decision

onContradiction

public void onContradiction(ContradictionException cex)

Specified by:

onContradiction in interface IMonitorContradiction

beforeRestart

public void beforeRestart()

Specified by:

beforeRestart in interface IMonitorRestart

afterRestart

public void afterRestart()

Specified by:

afterRestart in interface IMonitorRestart

onSolution

public void onSolution()

Specified by:

onSolution in interface IMonitorSolution