Coeff

java.lang.Object
- apron.Coeff

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

Direct Known Subclasses:

Interval, Scalar
```
public abstract class Coeff
extends java.lang.Object
implements java.lang.Cloneable, java.io.Serializable
```
Abstract class of constant coefficients that can appear in expressions.
A coefficient can be either a Scalar real singleton or an Interval set of real values. The Coeff class provides methods to manipulate coefficients independently from the underlying representation.

See Also:

Serialized Form

Constructor Summary

Constructors
Constructor and Description

Coeff()

Constructors
Constructor and Description
`Coeff()`

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method and Description
`abstract int`	`cmp(Coeff x)` Compare this and x for inclusion.
`abstract Coeff`	`copy()` Creates a copy of the coefficient, of the same kind.
`static Coeff`	`create()` Creates a 0 coefficient as a double Scalar.
`boolean`	`equals(java.lang.Object x)` Whether x is a Coeff has the same value.
`abstract int`	`hashCode()` Returns a hash of the value of this.
`abstract Scalar`	`inf()` Returns a reference to the lower bound of this.
`abstract boolean`	`isEqual(Coeff x)` Whether this equals x.
`abstract boolean`	`isEqual(int i)` Whether this represents the singleton i.
`abstract boolean`	`isScalar()` Whether this represents a singleton.
`abstract boolean`	`isZero()` Whether this represents the singleton 0.
`abstract void`	`neg()` Negates this.
`abstract Scalar`	`sup()` Returns a reference to the upper bound of this.
`abstract java.lang.String`	`toString()` Returns a string representation of this.

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

- Constructor Detail
  - Coeff
```
public Coeff()
```
- Method Detail
  - create
```
public static Coeff create()
```
    Creates a 0 coefficient as a double Scalar.
  - copy
```
public abstract Coeff copy()
```
    Creates a copy of the coefficient, of the same kind.
  - inf
```
public abstract Scalar inf()
```
    Returns a reference to the lower bound of this.
  - sup
```
public abstract Scalar sup()
```
    Returns a reference to the upper bound of this.
  - toString
```
public abstract java.lang.String toString()
```
    Returns a string representation of this.
    
    Overrides:
    
    toString in class java.lang.Object
  - hashCode
```
public abstract int hashCode()
```
    Returns a hash of the value of this.
    
    Overrides:
    
    hashCode in class java.lang.Object
  - isZero
```
public abstract boolean isZero()
```
    Whether this represents the singleton 0.
  - isScalar
```
public abstract boolean isScalar()
```
    Whether this represents a singleton.
  - isEqual
```
public abstract boolean isEqual(int i)
```
    Whether this represents the singleton i.
  - isEqual
```
public abstract boolean isEqual(Coeff x)
```
    Whether this equals x.
  - cmp
```
public abstract int cmp(Coeff x)
```
    Compare this and x for inclusion.
    
    See Also:
    
    Interval.cmp(Interval)
  - neg
```
public abstract void neg()
```
    Negates this.
  - equals
```
public boolean equals(java.lang.Object x)
```
    Whether x is a Coeff has the same value.
    
    Overrides:
    
    equals in class java.lang.Object

Class Coeff

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

Coeff

Method Detail

create

copy

inf

sup

toString

hashCode

isZero

isScalar

isEqual

isEqual

cmp

neg

equals