choco.real.search
Class RealIncreasingDomain

java.lang.Object
  choco.real.search.RealIncreasingDomain

All Implemented Interfaces:

IValIterator

public class RealIncreasingDomain
extends java.lang.Object
implements IValIterator

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

Constructor Summary

RealIncreasingDomain()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RealIncreasingDomain

public RealIncreasingDomain()

Method Detail

hasNextVal

public boolean hasNextVal(Var x,
                          int i)

Description copied from interface: IValIterator

testing whether more branches can be considered after branch i, on the alternative associated to variable x

Specified by:

hasNextVal in interface IValIterator

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

public int getFirstVal(Var x)

Description copied from interface: IValIterator

Accessing the index of the first branch for variable x

Specified by:

getFirstVal in interface IValIterator

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

public int getNextVal(Var x,
                      int i)

Description copied from interface: IValIterator

generates the index of the next branch after branch i, on the alternative associated to variable x

Specified by:

getNextVal in interface IValIterator

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