choco.palm.dbt.search
Class PalmExtend

java.lang.Object
  choco.palm.dbt.search.PalmAbstractSolverTool
      choco.palm.dbt.search.PalmExtend

Direct Known Subclasses:

PalmUnsureExtend

public class PalmExtend
extends PalmAbstractSolverTool

An extension algorithm for Palm solvers.

Field Summary

protected PalmAbstractBranching

branching A branching or a linked list of branchings for solving the problem.

Fields inherited from class choco.palm.dbt.search.PalmAbstractSolverTool

manager

Constructor Summary

PalmExtend()

Method Summary

void	explore(PalmAbstractBranching branching) Extension algorithm.
PalmAbstractBranching	getBranching() Gets the branching used by this extension.
void	setBranching(PalmAbstractBranching branching) Sets the branching used by this extension.

Methods inherited from class choco.palm.dbt.search.PalmAbstractSolverTool

getManager, setManager

Methods inherited from class java.lang.Object

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

Field Detail

branching

protected PalmAbstractBranching branching

A branching or a linked list of branchings for solving the problem.

Constructor Detail

PalmExtend

public PalmExtend()

Method Detail

getBranching

public PalmAbstractBranching getBranching()

Gets the branching used by this extension.

setBranching

public void setBranching(PalmAbstractBranching branching)

Sets the branching used by this extension.

explore

public void explore(PalmAbstractBranching branching)
             throws ContradictionException

Extension algorithm. In this default one, it selects a branchiong item. If an not null item is returned, te propagates decisions on this item, else, it launchs the same algorithm with the next branching, if available..

Parameters:

branching -

Throws:

ContradictionException