choco.search
Class AssignVar.ValIteratorWrapper

java.lang.Object
  choco.search.AssignVar.ValIteratorWrapper

All Implemented Interfaces:

AssignVar.ValueChooserWrapper

Enclosing class:

AssignVar

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

Constructor Summary

protected

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

AssignVar.ValIteratorWrapper

protected AssignVar.ValIteratorWrapper()

Method Detail

finishedBranching

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

Specified by:

finishedBranching in interface AssignVar.ValueChooserWrapper

getFirstBranch

public int getFirstBranch(java.lang.Object x)

Specified by:

getFirstBranch in interface AssignVar.ValueChooserWrapper

getNextBranch

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

Specified by:

getNextBranch in interface AssignVar.ValueChooserWrapper