Generator0

java.lang.Object
- apron.Generator0

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable
```
public class Generator0
extends java.lang.Object
implements java.lang.Cloneable, java.io.Serializable
```
Class of geometrical features of level 0 linear abstract elements.
A generator is a 0- or 1-dimensional affine feature of a polyhedron: a vertex, a ray, or a line. Generator0 objects represent generators on level 0 abstract objects: variables are denoted by dimension (i.e., integer starting from 0).
A Generator0 is represented as a (sparse or dense) linear expression, i.e., a Linexpr0 expression where the constant coefficient is ignored and all coefficients are scalar.

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type	Field and Description
`Linexpr0`	`coord` Coordinates of the generator.
`int`	`kind` Kind of generator: `LINE`, `RAY`, `VERTEX`, `LINEMOD`, or `RAYMOD`.
`static int`	`LINE` Line: { lambda * coord \| lambda in R }.
`static int`	`LINEMOD` Modular line: { lambda * coord \| lambda in Z }.
`static int`	`RAY` Ray: { lambda * coord \| lambda >= 0 in R }.
`static int`	`RAYMOD` Modular ray: { lambda * coord \| lambda in N }.
`static int`	`VERTEX` Vertex: { coord }.

Constructor Summary

Constructors
Constructor and Description
`Generator0(Generator0 g)` Creates a copy of g.
`Generator0(int k, Linexpr0 c)` Creates a new generator of the given kind with the given coordinate.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addDimensions(Dimchange c)` Adds some dimensions and shifts coefficients accordingly .
`Generator0`	`addDimensionsCopy(Dimchange c)` Returns a copy of the generator with some dimensions added.
`Generator0`	`clone()` Returns a copy of this.
`boolean`	`equals(java.lang.Object x)` Whether x is a Generator0 and structurally equal to this.
`Linexpr0`	`getCoordinate()`
`int`	`getKind()`
`int`	`hashCode()` Returns a hash of the generator.
`boolean`	`isEqual(Generator0 x)` Whether this and x have identical coordinate.
`void`	`permuteDimensions(Dimperm p)` Permutes some dimensions in the generator.
`Generator0`	`permuteDimensionsCopy(Dimperm p)` Returns a copy of the generator with some dimensions permuted.
`void`	`setCoordinate(Linexpr0 c)`
`void`	`setKind(int k)`
`java.lang.String`	`toString()` Returns a string representation of the generator.
`java.lang.String`	`toString(java.lang.String[] names)`
`java.lang.String`	`toString(Var[] names)` Returns a string representation of the generator.

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

- Field Detail
  - coord
```
public Linexpr0 coord
```
    Coordinates of the generator.
    All coefficients must be scalar.
    The constant coefficient is ignored.
  - kind
```
public int kind
```
    Kind of generator: LINE, RAY, VERTEX, LINEMOD, or RAYMOD.
  - LINE
```
public static final int LINE
```
    Line: { lambda * coord | lambda in R }.
    
    See Also:
    
    Constant Field Values
  - RAY
```
public static final int RAY
```
    Ray: { lambda * coord | lambda >= 0 in R }.
    
    See Also:
    
    Constant Field Values
  - VERTEX
```
public static final int VERTEX
```
    Vertex: { coord }.
    
    See Also:
    
    Constant Field Values
  - LINEMOD
```
public static final int LINEMOD
```
    Modular line: { lambda * coord | lambda in Z }.
    
    See Also:
    
    Constant Field Values
  - RAYMOD
```
public static final int RAYMOD
```
    Modular ray: { lambda * coord | lambda in N }.
    
    See Also:
    
    Constant Field Values
- Constructor Detail
  - Generator0
```
public Generator0(int k,
                  Linexpr0 c)
```
    Creates a new generator of the given kind with the given coordinate.
    c is referenced, not copied.
  - Generator0
```
public Generator0(Generator0 g)
```
    Creates a copy of g.
    The linear expression (coordinate) is copied.
- Method Detail
  - toString
```
public java.lang.String toString()
```
    Returns a string representation of the generator.
    Dimension i is denoted as xi.
    
    Overrides:
    
    toString in class java.lang.Object
  - toString
```
public java.lang.String toString(Var[] names)
```
    Returns a string representation of the generator.
    Dimension i is denoted by names[i].
  - toString
```
public java.lang.String toString(java.lang.String[] names)
```
  - hashCode
```
public int hashCode()
```
    Returns a hash of the generator.
    
    Overrides:
    
    hashCode in class java.lang.Object
  - addDimensions
```
public void addDimensions(Dimchange c)
```
    Adds some dimensions and shifts coefficients accordingly .
  - permuteDimensions
```
public void permuteDimensions(Dimperm p)
```
    Permutes some dimensions in the generator.
  - addDimensionsCopy
```
public Generator0 addDimensionsCopy(Dimchange c)
```
    Returns a copy of the generator with some dimensions added.
    this is not changed.
  - permuteDimensionsCopy
```
public Generator0 permuteDimensionsCopy(Dimperm p)
```
    Returns a copy of the generator with some dimensions permuted.
    this is not changed.
  - clone
```
public Generator0 clone()
```
    Returns a copy of this.
    
    Overrides:
    
    clone in class java.lang.Object
  - isEqual
```
public boolean isEqual(Generator0 x)
```
    Whether this and x have identical coordinate.
  - equals
```
public boolean equals(java.lang.Object x)
```
    Whether x is a Generator0 and structurally equal to this.
    
    Overrides:
    
    equals in class java.lang.Object
  - getCoordinate
```
public Linexpr0 getCoordinate()
```
  - getKind
```
public int getKind()
```
  - setCoordinate
```
public void setCoordinate(Linexpr0 c)
```
  - setKind
```
public void setKind(int k)
```

Class Generator0

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

coord

kind

LINE

RAY

VERTEX

LINEMOD

RAYMOD

Constructor Detail

Generator0

Generator0

Method Detail

toString

toString

toString

hashCode

addDimensions

permuteDimensions

addDimensionsCopy

permuteDimensionsCopy

clone

isEqual

equals

getCoordinate

getKind

setCoordinate

setKind