Package de.saar.chorus.gecode

Class Extent

java.lang.Object

de.saar.chorus.gecode.Extent

public class Extent
extends Object

Author:

Marco Kuhlmann

Field Summary

Fields

Modifier and Type	Field	Description
int	extentL
int	extentR

Constructor Summary

Constructors

Constructor	Description
Extent(int width)
Extent(int pExtentL, int pExtentR)

Method Summary

Modifier and Type	Method	Description
void	extend(int deltaL, int deltaR)
void	move(int delta)
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

extentL

public int extentL

extentR

public int extentR

Constructor Details

Extent

public Extent(int pExtentL,
 int pExtentR)

Extent

public Extent(int width)

Method Details

extend

public void extend(int deltaL,
 int deltaR)

move

public void move(int delta)

toString

public String toString()

Overrides:

toString in class Object