choco.palm.dbt.search
Class PalmUnsureExtend

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

public class PalmUnsureExtend
extends PalmExtend

Field Summary

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

branching

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

manager

Constructor Summary

PalmUnsureExtend()

Method Summary

boolean	checkAcceptable(java.util.List csts) Check if a decision is valid (according to the learner)
void	explore(PalmAbstractBranching branching) Extension algorithm.
void	learnFromRejection(PalmAbstractBranching branching, java.lang.Object item, java.lang.Object decisionList) check if the variable has been emptied
java.lang.Object	selectAuthorizedDecisions(PalmAbstractBranching branching, java.lang.Object item)

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

getBranching, setBranching

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

Constructor Detail

PalmUnsureExtend

public PalmUnsureExtend()

Method Detail

explore

public void explore(PalmAbstractBranching branching)
             throws ContradictionException

Description copied from class: PalmExtend

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

Overrides:

explore in class PalmExtend

Throws:

ContradictionException

checkAcceptable

public boolean checkAcceptable(java.util.List csts)

Check if a decision is valid (according to the learner)

learnFromRejection

public void learnFromRejection(PalmAbstractBranching branching,
                               java.lang.Object item,
                               java.lang.Object decisionList)
                        throws ContradictionException

check if the variable has been emptied

Throws:

ContradictionException

selectAuthorizedDecisions

public java.lang.Object selectAuthorizedDecisions(PalmAbstractBranching branching,
                                                  java.lang.Object item)
                                           throws ContradictionException

Throws:

ContradictionException