choco.cp.solver.search.integer.branching
Class AssignVar.ValSelectorWrapper

java.lang.Object
  extended by choco.cp.solver.search.integer.branching.AssignVar.ValSelectorWrapper
All Implemented Interfaces:
AssignVar.ValueChooserWrapper
Enclosing class:
AssignVar

protected static final class AssignVar.ValSelectorWrapper
extends Object
implements AssignVar.ValueChooserWrapper


Constructor Summary
AssignVar.ValSelectorWrapper(ValSelector valSelector)
           
 
Method Summary
 boolean finishedBranching(IntBranchingDecision decision)
           
 int getFirstBranch(IntBranchingDecision decision)
           
 int getNextBranch(IntBranchingDecision decision)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AssignVar.ValSelectorWrapper

public AssignVar.ValSelectorWrapper(ValSelector valSelector)
Method Detail

finishedBranching

public boolean finishedBranching(IntBranchingDecision decision)
Specified by:
finishedBranching in interface AssignVar.ValueChooserWrapper

getFirstBranch

public int getFirstBranch(IntBranchingDecision decision)
Specified by:
getFirstBranch in interface AssignVar.ValueChooserWrapper

getNextBranch

public int getNextBranch(IntBranchingDecision decision)
Specified by:
getNextBranch in interface AssignVar.ValueChooserWrapper


Copyright © 2012. All Rights Reserved.