apron

Class Dimension

java.lang.Object

apron.Dimension

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public class Dimension
extends java.lang.Object
implements java.lang.Cloneable, java.io.Serializable

Class of dimension specifications for level 0 objects.

A level 0 object (Abstract0, etc.) has a set of integer-valued and a set of real-valued dimensions. A Dimension objects indicates how many dimensions of each kind. It is simply a pair of positive integers: intDim and realDim.

In level 0 objects, integer-valued variables are numbered from 0 to intDim-1, and real-valued variables are numbered from intDim to intDim+realDim-1.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
int	intDim Number of integer-valued dimensions.
int	realDim Number of real-valued dimensions.

Constructor Summary

Constructors

Constructor and Description
Dimension(int intdim, int realdim) Constructs a new Dimension object.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object x) Whether x is a Dimension and structurally equal to this.
int	getIntegerDimension()
int	getRealDimension()
boolean	isEqual(Dimension x) Whether x is equal to this.
void	setIntegerDimension(int d)
void	setRealDimension(int d)
java.lang.String	toString() Returns a String representation of the dimension.

Methods inherited from class java.lang.Object

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

Field Detail

intDim

public int intDim

Number of integer-valued dimensions.

realDim

public int realDim

Number of real-valued dimensions.

Constructor Detail

Dimension

public Dimension(int intdim,
                 int realdim)

Constructs a new Dimension object.

Method Detail

toString

public java.lang.String toString()

Returns a String representation of the dimension.

Overrides:

toString in class java.lang.Object

isEqual

public boolean isEqual(Dimension x)

Whether x is equal to this.

equals

public boolean equals(java.lang.Object x)

Whether x is a Dimension and structurally equal to this.

Overrides:

equals in class java.lang.Object

getIntegerDimension

public int getIntegerDimension()

getRealDimension

public int getRealDimension()

setIntegerDimension

public void setIntegerDimension(int d)

setRealDimension

public void setRealDimension(int d)