choco.search
Class AssignVar.ValSelectorWrapper

java.lang.Object
  choco.search.AssignVar.ValSelectorWrapper

All Implemented Interfaces:

AssignVar.ValueChooserWrapper

Enclosing class:

AssignVar

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

Constructor Summary

protected

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

AssignVar.ValSelectorWrapper

protected AssignVar.ValSelectorWrapper()

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