Package apron

Class Dimension

java.lang.Object
apron.Dimension
All Implemented Interfaces:
Serializable, Cloneable
public class Dimension extends Object implements Cloneable, 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:

  • Field Details

    • intDim

      public int intDim
      Number of integer-valued dimensions.

    • realDim

      public int realDim
      Number of real-valued dimensions.

  • Constructor Details

    • Dimension

      public Dimension(int intdim, int realdim)
      Constructs a new Dimension object.

  • Method Details

    • toString

      public String toString()
      Returns a String representation of the dimension.
      Overrides:
      toString in class Object

    • isEqual

      public boolean isEqual(Dimension x)
      Whether x is equal to this.

    • equals

      public boolean equals(Object x)
      Whether x is a Dimension and structurally equal to this.
      Overrides:
      equals in class Object

    • getIntegerDimension

      public int getIntegerDimension()

    • getRealDimension

      public int getRealDimension()

    • setIntegerDimension

      public void setIntegerDimension(int d)

    • setRealDimension

      public void setRealDimension(int d)