org.chocosolver.solver.search.strategy.strategy

Class LastConflict_old

java.lang.Object

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

org.chocosolver.solver.search.strategy.strategy.LastConflict_old

All Implemented Interfaces:

Serializable, IMonitorContradiction, IMonitorRestart, IMonitorSolution, ISearchMonitor

Deprecated.

@Deprecated
public class LastConflict_old
extends AbstractStrategy<Variable>
implements IMonitorRestart, IMonitorSolution, IMonitorContradiction

Author:

Jean-Guillaume Fages, Charles Prud'homme

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected Variable	candidate Deprecated.
protected int	cIdx Deprecated.
protected boolean	dynamic Deprecated.
protected int	k Deprecated.
protected AbstractStrategy<Variable>	mainStrategy Deprecated.
protected Solver	solver Deprecated.
protected Variable[]	testingSet Deprecated.

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

LOGGER, vars

Constructor Summary

Constructors

Constructor and Description
LastConflict_old(Solver solver, AbstractStrategy<Variable> mainStrategy, int k, boolean dynamic) Deprecated.

Method Summary

Methods

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

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

Deprecated.

mainStrategy

protected AbstractStrategy<Variable> mainStrategy

Deprecated.

candidate

protected Variable candidate

Deprecated.

testingSet

protected final Variable[] testingSet

Deprecated.

k

protected final int k

Deprecated.

cIdx

protected int cIdx

Deprecated.

dynamic

protected final boolean dynamic

Deprecated.

Constructor Detail

LastConflict_old

public LastConflict_old(Solver solver,
                AbstractStrategy<Variable> mainStrategy,
                int k,
                boolean dynamic)

Deprecated.

Method Detail

init

public void init()
          throws ContradictionException

Deprecated.

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()

Deprecated.

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)

Deprecated.

Specified by:

onContradiction in interface IMonitorContradiction

beforeRestart

public void beforeRestart()

Deprecated.

Specified by:

beforeRestart in interface IMonitorRestart

afterRestart

public void afterRestart()

Deprecated.

Specified by:

afterRestart in interface IMonitorRestart

onSolution

public void onSolution()

Deprecated.

Specified by:

onSolution in interface IMonitorSolution