Dimperm

java.lang.Object
- apron.Dimperm

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable
```
public class Dimperm
extends java.lang.Object
implements java.lang.Cloneable, java.io.Serializable
```
Class of dimension permutations for level 0 objects.
A Dimperm object encapsulates an ap_dimperm_t Apron object allocated in the C heap.

See Also:

Serialized Form

Constructor Summary

Constructors
Constructor and Description
`Dimperm(Dimperm x)` Creates a copy of this.
`Dimperm(int size)` Creates an identity permutation of dimensions 0 to size-1.
`Dimperm(int[] dim)` Creates a permutation.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`Dimperm`	`clone()` Returns a copy of this.
`Dimperm`	`compose(Dimperm op)` Returns a permutation equal to this composed with op.
`boolean`	`equals(java.lang.Object x)` Whether x is a Dimperm and structurally equal to this.
`protected void`	`finalize()` Deallocates the underlying Apron object.
`int[]`	`getContents()` Returns the permutation map.
`int`	`getElem(int i)` Gets the variable index i is mapped to.
`int`	`getSize()` Returns the number of elements in this permutation.
`Dimperm`	`invert()` Returns a new permutation which is the inverse of this.
`boolean`	`isEqual(Dimperm x)` Whether x is equal to this.
`void`	`setElem(int i, int dim)` Changes the permutation so that i maps to dim.
`void`	`setId()` Sets this to the identity permutation.
`java.lang.String`	`toString()` Returns a String representation of the permutation.

Methods inherited from class java.lang.Object
getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - Dimperm
```
public Dimperm(int[] dim)
```
    Creates a permutation.
    The permutation maps dimension i to dimension dim[i].
  - Dimperm
```
public Dimperm(int size)
```
    Creates an identity permutation of dimensions 0 to size-1.
  - Dimperm
```
public Dimperm(Dimperm x)
```
    Creates a copy of this.
- Method Detail
  - finalize
```
protected void finalize()
```
    Deallocates the underlying Apron object.
    
    Overrides:
    
    finalize in class java.lang.Object
  - setId
```
public void setId()
```
    Sets this to the identity permutation.
  - setElem
```
public void setElem(int i,
                    int dim)
```
    Changes the permutation so that i maps to dim.
  - getElem
```
public int getElem(int i)
```
    Gets the variable index i is mapped to.
  - getSize
```
public int getSize()
```
    Returns the number of elements in this permutation.
  - getContents
```
public int[] getContents()
```
    Returns the permutation map.
    if x=a.getContents(), then a maps dimension i to x[i].
  - invert
```
public Dimperm invert()
```
    Returns a new permutation which is the inverse of this.
    this is not modified.
  - compose
```
public Dimperm compose(Dimperm op)
```
    Returns a permutation equal to this composed with op.
    The result maps i to op[this[i]].
    this and op must have the same size.
    this is not changed.
  - toString
```
public java.lang.String toString()
```
    Returns a String representation of the permutation.
    
    Overrides:
    
    toString in class java.lang.Object
  - clone
```
public Dimperm clone()
```
    Returns a copy of this.
    
    Overrides:
    
    clone in class java.lang.Object
  - isEqual
```
public boolean isEqual(Dimperm x)
```
    Whether x is equal to this.
  - equals
```
public boolean equals(java.lang.Object x)
```
    Whether x is a Dimperm and structurally equal to this.
    
    Overrides:
    
    equals in class java.lang.Object

Class Dimperm

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

Dimperm

Dimperm

Dimperm

Method Detail

finalize

setId

setElem

getElem

getSize

getContents

invert

compose

toString

clone

isEqual

equals