Serialized Form

Package apron
- Class apron.ApronException extends java.lang.Exception implements Serializable
  - Serialized Fields
    - manager
```
Manager manager
```
      Manager that caused the exception.
    - funid
```
int funid
```
      Identifier of the operation that caused the exception. (Manager.FUNID_COPY, etc.)
- Class apron.Coeff extends java.lang.Object implements Serializable
- Class apron.Dimchange extends java.lang.Object implements Serializable
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
```
      Reads back a serialized Mpz.
      
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.IOException
```
      Serializes this.
      
      Throws:
      
      java.io.IOException
    - readObjectNoData
```
private void readObjectNoData()
                       throws java.io.ObjectStreamException
```
      Fall-back deserialization function: no change.
      
      Throws:
      
      java.io.ObjectStreamException
  - Serialized Fields
    - ptr
```
long ptr
```
      A pointer to an ap_dimchange_t object allocated in the C heap.
- Class apron.Dimension extends java.lang.Object implements Serializable
  - Serialized Fields
    - intDim
```
int intDim
```
      Number of integer-valued dimensions.
    - realDim
```
int realDim
```
      Number of real-valued dimensions.
- Class apron.Dimperm extends java.lang.Object implements Serializable
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
```
      Reads back a serialized Mpz.
      
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.IOException
```
      Serializes this.
      
      Throws:
      
      java.io.IOException
    - readObjectNoData
```
private void readObjectNoData()
                       throws java.io.ObjectStreamException
```
      Fall-back deserialization function: empty permutation.
      
      Throws:
      
      java.io.ObjectStreamException
  - Serialized Fields
    - ptr
```
long ptr
```
      Actually, a pointer to an ap_dimperm_t object allocated in the C heap.
- Class apron.DoubleScalar extends Scalar implements Serializable
  - Serialized Fields
    - val
```
double val
```
      The (mutable) scalar value.
- Class apron.Environment extends java.lang.Object implements Serializable
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
```
      Reads back a serialized Mpz.
      
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.IOException
```
      Serializes this.
      
      Throws:
      
      java.io.IOException
    - readObjectNoData
```
private void readObjectNoData()
                       throws java.io.ObjectStreamException
```
      Fall-back deserialization function: empty environment.
      
      Throws:
      
      java.io.ObjectStreamException
  - Serialized Fields
    - ptr
```
long ptr
```
      Actually, a pointer to an ap_environment_t object allocated in the C heap.
- Class apron.Generator0 extends java.lang.Object implements Serializable
  - Serialized Fields
    - coord
```
Linexpr0 coord
```
      Coordinates of the generator.
      All coefficients must be scalar.
      The constant coefficient is ignored.
    - kind
```
int kind
```
      Kind of generator: Generator0.LINE, Generator0.RAY, Generator0.VERTEX, Generator0.LINEMOD, or Generator0.RAYMOD.
- Class apron.Generator1 extends java.lang.Object implements Serializable
  - Serialized Fields
    - gen
```
Generator0 gen
```
      Level 0 generator.
    - env
```
Environment env
```
      Environment.
- Class apron.Interval extends Coeff implements Serializable
  - Serialized Fields
    - inf
```
Scalar inf
```
      (Mutable) lower bound.
    - sup
```
Scalar sup
```
      (Mutable) upper bound.
- Class apron.Lincons0 extends java.lang.Object implements Serializable
  - Serialized Fields
    - expr
```
Linexpr0 expr
```
      Left member of the constraint.
    - kind
```
int kind
```
      Kind of constraint: Lincons0.EQ, Lincons0.SUPEQ, Lincons0.SUP, Lincons0.EQMOD, or Lincons0.DISEQ.
    - scalar
```
Scalar scalar
```
      Optional modulo factor.
      null, except for Lincons0.EQMOD.
- Class apron.Lincons1 extends java.lang.Object implements Serializable
  - Serialized Fields
    - cons
```
Lincons0 cons
```
      Level 0 constraint.
    - env
```
Environment env
```
      Environment.
- Class apron.Linexpr0 extends java.lang.Object implements Serializable
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
```
      Reads back a serialized Mpz.
      
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.IOException
```
      Serializes this.
      
      Throws:
      
      java.io.IOException
    - readObjectNoData
```
private void readObjectNoData()
                       throws java.io.ObjectStreamException
```
      Fall-back deserialization function: returns 0.
      
      Throws:
      
      java.io.ObjectStreamException
  - Serialized Fields
    - ptr
```
long ptr
```
      Actually, a pointer to an ap_linexpr0_t object allocated in the C heap.
- Class apron.Linexpr1 extends java.lang.Object implements Serializable
  - Serialized Fields
    - expr
```
Linexpr0 expr
```
      Level 0 expression.
    - env
```
Environment env
```
      Environment.
- Class apron.Linterm0 extends java.lang.Object implements Serializable
  - Serialized Fields
    - dim
```
int dim
```
      Dimension index (positive).
    - coeff
```
Coeff coeff
```
      Variable coefficient.
- Class apron.Linterm1 extends java.lang.Object implements Serializable
  - Serialized Fields
    - var
```
Var var
```
      Variable name.
    - coeff
```
Coeff coeff
```
      Variable coefficient.
- Class apron.MpfrScalar extends Scalar implements Serializable
  - Serialized Fields
    - val
```
Mpfr val
```
      The (mutable) scalar value.
- Class apron.MpqScalar extends Scalar implements Serializable
  - Serialized Fields
    - val
```
Mpq val
```
      The (mutable) scalar value.
- Class apron.NotImplementedException extends ApronException implements Serializable
- Class apron.OutOfSpaceException extends ApronException implements Serializable
- Class apron.OverflowException extends ApronException implements Serializable
- Class apron.Scalar extends Coeff implements Serializable
- Class apron.StringVar extends java.lang.Object implements Serializable
  - Serialized Fields
    - name
```
java.lang.String name
```
- Class apron.Tcons0 extends java.lang.Object implements Serializable
  - Serialized Fields
    - expr
```
Texpr0Intern expr
```
      Left member of the constraint.
    - kind
```
int kind
```
      Kind of constraint: Tcons0.EQ, Tcons0.SUPEQ, Tcons0.SUP, Tcons0.EQMOD, or Tcons0.DISEQ.
    - scalar
```
Scalar scalar
```
      Optional modulo factor.
      null, except for Tcons0.EQMOD.
- Class apron.Tcons1 extends java.lang.Object implements Serializable
  - Serialized Fields
    - cons
```
Tcons0 cons
```
      Level 0 constraint.
    - env
```
Environment env
```
      Environment.
- Class apron.Texpr0BinNode extends Texpr0Node implements Serializable
  - Serialized Fields
    - op
```
int op
```
      Operation (Texpr0BinNode.OP_ADD, etc.).
    - rtype
```
int rtype
```
      Rounding type (Texpr0Node.RTYPE_REAL, etc).
    - rdir
```
int rdir
```
      Rounding direction (Texpr0Node.RDIR_NEAREST, etc.).
    - lArg
```
Texpr0Node lArg
```
      Left argument.
    - rArg
```
Texpr0Node rArg
```
      Right argument.
- Class apron.Texpr0CstNode extends Texpr0Node implements Serializable
  - Serialized Fields
    - cst
```
Coeff cst
```
      Constant value.
- Class apron.Texpr0DimNode extends Texpr0Node implements Serializable
  - Serialized Fields
    - dim
```
int dim
```
      Dimension.
- Class apron.Texpr0Intern extends java.lang.Object implements Serializable
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
```
      Reads back a serialized Mpz.
      
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.IOException
```
      Serializes this.
      
      Throws:
      
      java.io.IOException
    - readObjectNoData
```
private void readObjectNoData()
                       throws java.io.ObjectStreamException
```
      Fall-back deserialization function: returns 0.
      
      Throws:
      
      java.io.ObjectStreamException
  - Serialized Fields
    - ptr
```
long ptr
```
      Actually, a pointer to an ap_texpr0_t object allocated in the C heap.
- Class apron.Texpr0Node extends java.lang.Object implements Serializable
- Class apron.Texpr0UnNode extends Texpr0Node implements Serializable
  - Serialized Fields
    - op
```
int op
```
      Operation (Texpr0UnNode.OP_NEG, etc.).
    - rtype
```
int rtype
```
      Rounding type (Texpr0Node.RTYPE_REAL, etc).
    - rdir
```
int rdir
```
      Rounding direction (Texpr0Node.RDIR_NEAREST, etc.).
    - arg
```
Texpr0Node arg
```
      Argument.
- Class apron.Texpr1BinNode extends Texpr1Node implements Serializable
  - Serialized Fields
    - op
```
int op
```
      Operation (Texpr1BinNode.OP_ADD, etc.).
    - rtype
```
int rtype
```
      Rounding type (Texpr1Node.RTYPE_REAL, etc).
    - rdir
```
int rdir
```
      Rounding direction (Texpr1Node.RDIR_NEAREST, etc.).
    - lArg
```
Texpr1Node lArg
```
      Left argument.
    - rArg
```
Texpr1Node rArg
```
      Right argument.
- Class apron.Texpr1CstNode extends Texpr1Node implements Serializable
  - Serialized Fields
    - cst
```
Coeff cst
```
      Constant value.
- Class apron.Texpr1Intern extends java.lang.Object implements Serializable
  - Serialized Fields
    - expr
```
Texpr0Intern expr
```
      Level 0 expression.
    - env
```
Environment env
```
      Environment.
- Class apron.Texpr1Node extends java.lang.Object implements Serializable
- Class apron.Texpr1UnNode extends Texpr1Node implements Serializable
  - Serialized Fields
    - op
```
int op
```
      Operation (Texpr1UnNode.OP_NEG, etc.).
    - rtype
```
int rtype
```
      Rounding type (Texpr1Node.RTYPE_REAL, etc).
    - rdir
```
int rdir
```
      Rounding direction (Texpr1Node.RDIR_NEAREST, etc.).
    - arg
```
Texpr1Node arg
```
      Argument.
- Class apron.Texpr1VarNode extends Texpr1Node implements Serializable
  - Serialized Fields
    - var
```
Var var
```
      Variable name.
- Class apron.TimeoutException extends ApronException implements Serializable
Package gmp
- Class gmp.Mpfr extends java.lang.Object implements Serializable
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
```
      Reads back a serialized Mpfr.
      Not only the value, but also the precision is restored.
      
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.IOException
```
      Serializes this.
      Not only the value, but also the precision is stored.
      
      Throws:
      
      java.io.IOException
    - readObjectNoData
```
private void readObjectNoData()
                       throws java.io.ObjectStreamException
```
      Fall-back deserialization function: sets to NaN with the default precision.
      
      Throws:
      
      java.io.ObjectStreamException
  - Serialized Fields
    - ptr
```
long ptr
```
      Actually, a pointer to a mpfr_t object allocated in the C heap.
- Class gmp.Mpq extends java.lang.Object implements Serializable
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
```
      Reads back a serialized Mpq.
      
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.IOException
```
      Serializes this.
      
      Throws:
      
      java.io.IOException
    - readObjectNoData
```
private void readObjectNoData()
                       throws java.io.ObjectStreamException
```
      Fall-back deserialization function: sets to 0.
      
      Throws:
      
      java.io.ObjectStreamException
  - Serialized Fields
    - ptr
```
long ptr
```
      Actually, a pointer to a mpq_t object allocated in the C heap.
- Class gmp.Mpz extends java.lang.Object implements Serializable
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
```
      Reads back a serialized Mpz.
      
      Throws:
      
      java.io.IOException
      
      java.lang.ClassNotFoundException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.IOException
```
      Serializes this.
      
      Throws:
      
      java.io.IOException
    - readObjectNoData
```
private void readObjectNoData()
                       throws java.io.ObjectStreamException
```
      Fall-back deserialization function: sets to 0.
      
      Throws:
      
      java.io.ObjectStreamException
  - Serialized Fields
    - ptr
```
long ptr
```
      Actually, a pointer to a mpz_t object allocated in the C heap.
- Class gmp.MpzRef extends Mpz implements Serializable
  - Serialization Methods
    - readObject
```
private void readObject(java.io.ObjectInputStream in)
                 throws java.io.NotSerializableException
```
      A MpzRef represents a reference and cannot be serialized.
      
      Throws:
      
      java.io.NotSerializableException
    - writeObject
```
private void writeObject(java.io.ObjectOutputStream out)
                  throws java.io.NotSerializableException
```
      A MpzRef represents a reference and cannot be serialized.
      
      Throws:
      
      java.io.NotSerializableException
    - readObjectNoData
```
private void readObjectNoData()
                       throws java.io.NotSerializableException
```
      A MpzRef object represents a reference and cannot be serialized.
      
      Throws:
      
      java.io.NotSerializableException
  - Serialized Fields
    - parent
```
java.lang.Object parent
```
      We keep a pointer to the parent Mpq object so that it is not freed while a MpzRef on it is live.

Serialized Form

Package apron

Class apron.ApronException extends java.lang.Exception implements Serializable

Serialized Fields

manager

funid

Class apron.Coeff extends java.lang.Object implements Serializable

Class apron.Dimchange extends java.lang.Object implements Serializable

Serialization Methods

readObject

writeObject

readObjectNoData

Serialized Fields

ptr

Class apron.Dimension extends java.lang.Object implements Serializable

Serialized Fields

intDim

realDim

Class apron.Dimperm extends java.lang.Object implements Serializable

Serialization Methods

readObject

writeObject

readObjectNoData

Serialized Fields

ptr

Class apron.DoubleScalar extends Scalar implements Serializable

Serialized Fields

val

Class apron.Environment extends java.lang.Object implements Serializable

Serialization Methods

readObject

writeObject

readObjectNoData

Serialized Fields

ptr

Class apron.Generator0 extends java.lang.Object implements Serializable

Serialized Fields

coord

kind

Class apron.Generator1 extends java.lang.Object implements Serializable

Serialized Fields

gen

env

Class apron.Interval extends Coeff implements Serializable

Serialized Fields

inf

sup

Class apron.Lincons0 extends java.lang.Object implements Serializable

Serialized Fields

expr

kind

scalar

Class apron.Lincons1 extends java.lang.Object implements Serializable

Serialized Fields

cons

env

Class apron.Linexpr0 extends java.lang.Object implements Serializable

Serialization Methods

readObject

writeObject

readObjectNoData

Serialized Fields

ptr

Class apron.Linexpr1 extends java.lang.Object implements Serializable

Serialized Fields

expr

env

Class apron.Linterm0 extends java.lang.Object implements Serializable

Serialized Fields

dim

coeff

Class apron.Linterm1 extends java.lang.Object implements Serializable

Serialized Fields

var

coeff

Class apron.MpfrScalar extends Scalar implements Serializable

Serialized Fields

val

Class apron.MpqScalar extends Scalar implements Serializable

Serialized Fields