choco.real.search
Interface RealValIterator


public interface RealValIterator

J-CHOCO Copyright (C) F. Laburthe, 1999-2003

An open-source Constraint Programming Kernel for Research and Education

Created by: Guillaume on 2 nov. 2004


Method Summary
 int getFirstVal(RealVar x)
          Accessing the index of the first branch for variable x
 int getNextVal(RealVar x, int i)
          generates the index of the next branch after branch i, on the alternative associated to variable x
 boolean hasNextVal(RealVar x, int i)
          testing whether more branches can be considered after branch i, on the alternative associated to variable x
 

Method Detail

hasNextVal

boolean hasNextVal(RealVar x,
                   int i)
testing whether more branches can be considered after branch i, on the alternative associated to variable x

Parameters:
x - the variable under scrutiny
i - the index of the last branch explored
Returns:
true if more branches can be expanded after branch i

getFirstVal

int getFirstVal(RealVar x)
Accessing the index of the first branch for variable x

Parameters:
x - the variable under scrutiny
Returns:
the index of the first branch (such as the first value to be assigned to the variable)

getNextVal

int getNextVal(RealVar x,
               int i)
generates the index of the next branch after branch i, on the alternative associated to variable x

Parameters:
x - the variable under scrutiny
i - the index of the last branch explored
Returns:
the index of the next branch to be expanded after branch i