Interval

java.lang.Object
- apron.Coeff
- - apron.Interval

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable
```
public class Interval
extends Coeff
implements java.lang.Cloneable, java.io.Serializable
```
Class of intervals of reals, denoted by a lower and an upper Scalar bound.
Intervals are a specialisation of the more general Coeff class.
Intervals may be unbounded (one or both bound(s) can be infinite). An interval can also be empty (the canonical empty interval is [1, -1]).

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type Field and Description

Scalar inf
(Mutable) lower bound.

Scalar sup
(Mutable) upper bound.

Fields
Modifier and Type	Field and Description
`Scalar`	`inf` (Mutable) lower bound.
`Scalar`	`sup` (Mutable) upper bound.

Constructor Summary

Constructors
Constructor and Description
`Interval()` Creates a new interval set to [0, 0], with double bounds.
`Interval(java.math.BigInteger i, java.math.BigInteger s)` Creates an interval [i, s] with Mpq bounds.
`Interval(java.math.BigInteger inum, java.math.BigInteger iden, java.math.BigInteger snum, java.math.BigInteger sden)` Creates an interval [inum/iden, snum/sden] with Mpq bounds.
`Interval(double i, double s)` Creates an interval [i, s] with double bounds.
`Interval(Interval i)` Creates a copy of the interval i.
`Interval(int i, int s)` Creates an interval [i, s] with Mpq bounds.
`Interval(int inum, int iden, int snum, int sden)` Creates an interval [inum/iden, snum/sden] with Mpq bounds.
`Interval(Mpfr i, Mpfr s)` Creates an interval [i, s] with Mpfr bounds (copied).
`Interval(Mpq i, Mpq s)` Creates an interval [i, s] with Mpq bounds (copied).
`Interval(Mpz i, Mpz s)` Creates an interval [i, s] with Mpq bounds.
`Interval(Mpz inum, Mpz iden, Mpz snum, Mpz sden)` Creates an interval [inum/iden, snum/sden] with Mpq bounds.
`Interval(Scalar i, Scalar s)` Creates a new interval [i, s].

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`Interval`	`clone()` Returns a copy of this.
`int`	`cmp(Coeff x)` Compares this and x for inclusion.
`int`	`cmp(Interval x)` Compares this and x for inclusion.
`Interval`	`copy()` Creates a copy of the coefficient, of the same kind.
`int`	`hashCode()` Returns a hash made from both bounds.
`Scalar`	`inf()` Returns a reference to the lower bound of this.
`boolean`	`isBottom()` Whether this represents an empty interval.
`boolean`	`isEqual(Coeff x)` Whether this equals x.
`boolean`	`isEqual(int i)` Whether this equals the singleton i.
`boolean`	`isEqual(Interval x)` Whether this and x are equal.
`boolean`	`isLeq(Interval x)` Whether this is included in x.
`boolean`	`isScalar()` Whether this represents a singleton.
`boolean`	`isTop()` Whether this represents [-oo, +oo].
`boolean`	`isZero()` Whether this represents the singleton [0, 0].
`void`	`neg()` Negates x.
`void`	`setBottom()` Sets the interval to [1, -1], without changing the bound types.
`void`	`setInf(Scalar s)` Sets the lower bound.
`void`	`setSup(Scalar s)` Sets the upper bound.
`void`	`setTop()` Sets the interval to [-oo, +oo], without changing the bound types.
`Scalar`	`sup()` Returns a reference to the upper bound of this.
`java.lang.String`	`toString()` Returns a string representation of the interval.

Methods inherited from class apron.Coeff
create, equals

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

- Field Detail
  - inf
```
public Scalar inf
```
    (Mutable) lower bound.
  - sup
```
public Scalar sup
```
    (Mutable) upper bound.
- Constructor Detail
  - Interval
```
public Interval()
```
    Creates a new interval set to [0, 0], with double bounds.
  - Interval
```
public Interval(Scalar i,
                Scalar s)
```
    Creates a new interval [i, s].
    The bounds are not copied, but only referenced.
  - Interval
```
public Interval(Interval i)
```
    Creates a copy of the interval i.
    Both scalar bounds are copied.
  - Interval
```
public Interval(int i,
                int s)
```
    Creates an interval [i, s] with Mpq bounds.
  - Interval
```
public Interval(int inum,
                int iden,
                int snum,
                int sden)
```
    Creates an interval [inum/iden, snum/sden] with Mpq bounds.
  - Interval
```
public Interval(java.math.BigInteger i,
                java.math.BigInteger s)
```
    Creates an interval [i, s] with Mpq bounds.
  - Interval
```
public Interval(java.math.BigInteger inum,
                java.math.BigInteger iden,
                java.math.BigInteger snum,
                java.math.BigInteger sden)
```
    Creates an interval [inum/iden, snum/sden] with Mpq bounds.
  - Interval
```
public Interval(Mpz i,
                Mpz s)
```
    Creates an interval [i, s] with Mpq bounds.
  - Interval
```
public Interval(Mpz inum,
                Mpz iden,
                Mpz snum,
                Mpz sden)
```
    Creates an interval [inum/iden, snum/sden] with Mpq bounds.
  - Interval
```
public Interval(Mpq i,
                Mpq s)
```
    Creates an interval [i, s] with Mpq bounds (copied).
  - Interval
```
public Interval(double i,
                double s)
```
    Creates an interval [i, s] with double bounds.
  - Interval
```
public Interval(Mpfr i,
                Mpfr s)
```
    Creates an interval [i, s] with Mpfr bounds (copied).
- Method Detail
  - copy
```
public Interval copy()
```
    Description copied from class: Coeff
    
    Creates a copy of the coefficient, of the same kind.
    
    Specified by:
    
    copy in class Coeff
  - setInf
```
public void setInf(Scalar s)
```
    Sets the lower bound.
  - setSup
```
public void setSup(Scalar s)
```
    Sets the upper bound.
  - setTop
```
public void setTop()
```
    Sets the interval to [-oo, +oo], without changing the bound types.
  - setBottom
```
public void setBottom()
```
    Sets the interval to [1, -1], without changing the bound types.
  - isTop
```
public boolean isTop()
```
    Whether this represents [-oo, +oo].
  - isBottom
```
public boolean isBottom()
```
    Whether this represents an empty interval.
  - isZero
```
public boolean isZero()
```
    Whether this represents the singleton [0, 0].
    
    Specified by:
    
    isZero in class Coeff
  - isLeq
```
public boolean isLeq(Interval x)
```
    Whether this is included in x.
  - cmp
```
public int cmp(Interval x)
```
    Compares this and x for inclusion.
    
    Returns:
    
    0 is this = x, -1 if this is included in x, +1 if this contains x, -2 if the lower bound of this is smaller than that of x, +2 if the lower bound of this is greater than that of x.
  - isEqual
```
public boolean isEqual(Interval x)
```
    Whether this and x are equal.
  - isEqual
```
public boolean isEqual(int i)
```
    Whether this equals the singleton i.
    
    Specified by:
    
    isEqual in class Coeff
  - isScalar
```
public boolean isScalar()
```
    Whether this represents a singleton.
    
    Specified by:
    
    isScalar in class Coeff
  - isEqual
```
public boolean isEqual(Coeff x)
```
    Whether this equals x.
    
    Specified by:
    
    isEqual in class Coeff
  - cmp
```
public int cmp(Coeff x)
```
    Compares this and x for inclusion.
    
    Specified by:
    
    cmp in class Coeff
    
    See Also:
    
    cmp(Interval)
  - neg
```
public void neg()
```
    Negates x.
    
    Specified by:
    
    neg in class Coeff
  - inf
```
public Scalar inf()
```
    Returns a reference to the lower bound of this.
    
    Specified by:
    
    inf in class Coeff
  - sup
```
public Scalar sup()
```
    Returns a reference to the upper bound of this.
    
    Specified by:
    
    sup in class Coeff
  - toString
```
public java.lang.String toString()
```
    Returns a string representation of the interval.
    
    Specified by:
    
    toString in class Coeff
  - hashCode
```
public int hashCode()
```
    Returns a hash made from both bounds.
    
    Specified by:
    
    hashCode in class Coeff
  - clone
```
public Interval clone()
```
    Returns a copy of this.
    
    Overrides:
    
    clone in class java.lang.Object

Class Interval

Field Summary

Constructor Summary

Method Summary

Methods inherited from class apron.Coeff

Methods inherited from class java.lang.Object

Field Detail

inf

sup

Constructor Detail

Interval

Interval

Interval

Interval

Interval

Interval

Interval

Interval

Interval

Interval

Interval

Interval

Method Detail

copy

setInf

setSup

setTop

setBottom

isTop

isBottom

isZero

isLeq

cmp

isEqual

isEqual

isScalar

isEqual

cmp

neg

inf

sup

toString

hashCode

clone