Linterm0

java.lang.Object
- apron.Linterm0

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable
```
public class Linterm0
extends java.lang.Object
implements java.lang.Cloneable, java.io.Serializable
```
Class of terms in level 0 linear expressions and constraints.
A Linterm0 is a pair composed of a Coeff coefficient and a variable denoted by dimension (i.e., integer starting from 0). It represents a single term in a Linexpr0 or Lincons0.

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type Field and Description

Coeff coeff
Variable coefficient.

int dim
Dimension index (positive).

Fields
Modifier and Type	Field and Description
`Coeff`	`coeff` Variable coefficient.
`int`	`dim` Dimension index (positive).

Constructor Summary

Constructors
Constructor and Description

Linterm0(int d, Coeff c)
Creates a new linear term.

Linterm0(Linterm0 t)
Creates a copy of the linear term.

Constructors
Constructor and Description
`Linterm0(int d, Coeff c)` Creates a new linear term.
`Linterm0(Linterm0 t)` Creates a copy of the linear term.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`Linterm0`	`clone()` Returns a copy of this.
`boolean`	`equals(java.lang.Object x)` Whether x is a Linterm0 and structurally equal to this.
`Coeff`	`getCoefficient()`
`int`	`getDimension()`
`boolean`	`isEqual(Linterm0 x)` Whether x and this are structurally equal.
`void`	`setCoeffcient(Coeff c)`
`void`	`setDimension(int d)`
`java.lang.String`	`toString()` Returns a String representation of the linear term.
`java.lang.String`	`toString(java.lang.String[] names)`
`java.lang.String`	`toString(Var[] names)` Returns a String representation of the linear term.

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

- Field Detail
  - dim
```
public int dim
```
    Dimension index (positive).
  - coeff
```
public Coeff coeff
```
    Variable coefficient.
- Constructor Detail
  - Linterm0
```
public Linterm0(int d,
                Coeff c)
```
    Creates a new linear term.
    The coefficient is referenced, not copied.
  - Linterm0
```
public Linterm0(Linterm0 t)
```
    Creates a copy of the linear term.
    The coefficient is copied.
- Method Detail
  - toString
```
public java.lang.String toString(Var[] names)
```
    Returns a String representation of the linear term.
    Dimension i is denoted by names[i].
  - toString
```
public java.lang.String toString(java.lang.String[] names)
```
  - toString
```
public java.lang.String toString()
```
    Returns a String representation of the linear term.
    Dimension i is denoted as xi.
    
    Overrides:
    
    toString in class java.lang.Object
  - clone
```
public Linterm0 clone()
```
    Returns a copy of this.
    
    Overrides:
    
    clone in class java.lang.Object
  - isEqual
```
public boolean isEqual(Linterm0 x)
```
    Whether x and this are structurally equal.
  - equals
```
public boolean equals(java.lang.Object x)
```
    Whether x is a Linterm0 and structurally equal to this.
    
    Overrides:
    
    equals in class java.lang.Object
  - getDimension
```
public int getDimension()
```
  - getCoefficient
```
public Coeff getCoefficient()
```
  - setDimension
```
public void setDimension(int d)
```
  - setCoeffcient
```
public void setCoeffcient(Coeff c)
```

Class Linterm0

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

dim

coeff

Constructor Detail

Linterm0

Linterm0

Method Detail

toString

toString

toString

clone

isEqual

equals

getDimension

getCoefficient

setDimension

setCoeffcient