choco.palm.dbt.search
Class PalmAssignVar.ValSelectorWrapper

java.lang.Object
  choco.palm.dbt.search.PalmAssignVar.ValSelectorWrapper

All Implemented Interfaces:

PalmAssignVar.ValueChooserWrapper

Enclosing class:

PalmAssignVar

protected class PalmAssignVar.ValSelectorWrapper
extends java.lang.Object
implements PalmAssignVar.ValueChooserWrapper

Constructor Summary

protected

PalmAssignVar.ValSelectorWrapper()

Method Summary

boolean	finishedBranching(java.lang.Object x, int i)
int	getFirstBranch(java.lang.Object x)
int	getNextBranch(java.lang.Object x, int i)

Methods inherited from class java.lang.Object

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

Constructor Detail

PalmAssignVar.ValSelectorWrapper

protected PalmAssignVar.ValSelectorWrapper()

Method Detail

finishedBranching

public boolean finishedBranching(java.lang.Object x,
                                 int i)

Specified by:

finishedBranching in interface PalmAssignVar.ValueChooserWrapper

getFirstBranch

public int getFirstBranch(java.lang.Object x)

Specified by:

getFirstBranch in interface PalmAssignVar.ValueChooserWrapper

getNextBranch

public int getNextBranch(java.lang.Object x,
                         int i)

Specified by:

getNextBranch in interface PalmAssignVar.ValueChooserWrapper