Package de.saar.chorus.gecode

Class Shape

java.lang.Object

de.saar.chorus.gecode.Shape

public class Shape
extends Object

Author:

Marco Kuhlmann

Constructor Summary

Constructors

Constructor	Description
Shape()
Shape(Extent extent)
Shape(Extent extent, Shape subShape)

Method Summary

Modifier and Type	Method	Description
void	add(Extent Extent)
int	depth()
void	extend(int deltaL, int deltaR)
Extent	get(int i)
BoundingBox	getBoundingBox()
Extent	getExtentAtDepth(int depth)
Iterator	iterator()
void	move(int delta)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

Shape

public Shape()

Shape

public Shape(Extent extent)

Shape

public Shape(Extent extent,
 Shape subShape)

Method Details

depth

public int depth()

add

public void add(Extent Extent)

get

public Extent get(int i)

iterator

public Iterator iterator()

extend

public void extend(int deltaL,
 int deltaR)

move

public void move(int delta)

getExtentAtDepth

public Extent getExtentAtDepth(int depth)

getBoundingBox

public BoundingBox getBoundingBox()

toString

public String toString()

Overrides:

toString in class Object