choco.palm.dbt.search
Class PalmAssignVar.ValIteratorWrapper

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

All Implemented Interfaces:

PalmAssignVar.ValueChooserWrapper

Enclosing class:

PalmAssignVar

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

Constructor Summary

protected

PalmAssignVar.ValIteratorWrapper()

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

protected PalmAssignVar.ValIteratorWrapper()

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