Module org.chocosolver

Package org.chocosolver.solver.search.loop.move

Class MoveBinaryDDS

java.lang.Object

org.chocosolver.solver.search.loop.move.MoveBinaryDFS

org.chocosolver.solver.search.loop.move.MoveBinaryLDS

org.chocosolver.solver.search.loop.move.MoveBinaryDDS

All Implemented Interfaces:

Move

public class MoveBinaryDDS
extends MoveBinaryLDS

A move dedicated to run an Depth-bounded Discrepancy Search[1] (DDS) with binary decisions.

[1]:T. Walsh, Depth-bounded Discrepancy Search, IJCAI-97.

Note that the depth is not maintained since it is useful only when max discrepancy is greater than max depth, which should not happen. Created by cprudhom on 07/10/15. Project: choco.

Since:

3.3.1

Author:

Charles Prud'homme

Field Summary

Fields inherited from class org.chocosolver.solver.search.loop.move.MoveBinaryLDS

dis, DIS

Fields inherited from class org.chocosolver.solver.search.loop.move.MoveBinaryDFS

strategy, topDecisionPosition

Constructor Summary

Constructors

Constructor	Description
MoveBinaryDDS(AbstractStrategy strategy, int discrepancy, IEnvironment environment)	Create a DFS with binary decisions

Method Summary

Modifier and Type	Method	Description
boolean	extend(Solver solver)	Performs a move when the CSP associated to the current node of the search space is not proven to be not consistent.

Methods inherited from class org.chocosolver.solver.search.loop.move.MoveBinaryLDS

init, repair, rewind

Methods inherited from class org.chocosolver.solver.search.loop.move.MoveBinaryDFS

getChildMoves, getStrategy, prevDecision, removeStrategy, setChildMoves, setStrategy, setTopDecisionPosition

Methods inherited from class java.lang.Object

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

Constructor Detail

MoveBinaryDDS

public MoveBinaryDDS(AbstractStrategy strategy,
                     int discrepancy,
                     IEnvironment environment)

Create a DFS with binary decisions

Parameters:

strategy - how (binary) decisions are selected

discrepancy - maximum discrepancy

environment - backtracking environment

Method Detail

extend

public boolean extend(Solver solver)

Description copied from interface: Move

Performs a move when the CSP associated to the current node of the search space is not proven to be not consistent.

Specified by:

extend in interface Move

Overrides:

extend in class MoveBinaryDFS

Parameters:

solver - reference the solver

Returns:

true if an extension can be done, false when no more extension is possible.