Serialized Form

Package apron

Exception Class apron.ApronException

class ApronException extends Exception implements Serializable

Serialized Fields

funid

int funid

Identifier of the operation that caused the exception. (Manager.FUNID_COPY, etc.)

manager

Manager manager

Manager that caused the exception.

Class apron.Coeff

class Coeff extends Object implements Serializable

Class apron.Dimchange

class Dimchange extends Object implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
ClassNotFoundException

Reads back a serialized Mpz.

Throws:

IOException

ClassNotFoundException

readObjectNoData

private void readObjectNoData()
                       throws ObjectStreamException

Fall-back deserialization function: no change.

Throws:

ObjectStreamException

writeObject

private void writeObject(ObjectOutputStream out)
                  throws IOException

Serializes this.

Throws:

IOException

Serialized Fields

ptr

long ptr

A pointer to an ap_dimchange_t object allocated in the C heap.

Class apron.Dimension

class Dimension extends Object implements Serializable

Serialized Fields

intDim

int intDim

Number of integer-valued dimensions.

realDim

int realDim

Number of real-valued dimensions.

Class apron.Dimperm

class Dimperm extends Object implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
ClassNotFoundException

Reads back a serialized Mpz.

Throws:

IOException

ClassNotFoundException

readObjectNoData

private void readObjectNoData()
                       throws ObjectStreamException

Fall-back deserialization function: empty permutation.

Throws:

ObjectStreamException

writeObject

private void writeObject(ObjectOutputStream out)
                  throws IOException

Serializes this.

Throws:

IOException

Serialized Fields

ptr

long ptr

Actually, a pointer to an ap_dimperm_t object allocated in the C heap.

Class apron.DoubleScalar

class DoubleScalar extends Scalar implements Serializable

Serialized Fields

val

double val

The (mutable) scalar value.

Class apron.Environment

class Environment extends Object implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
ClassNotFoundException

Reads back a serialized Mpz.

Throws:

IOException

ClassNotFoundException

readObjectNoData

private void readObjectNoData()
                       throws ObjectStreamException

Fall-back deserialization function: empty environment.

Throws:

ObjectStreamException

writeObject

private void writeObject(ObjectOutputStream out)
                  throws IOException

Serializes this.

Throws:

IOException

Serialized Fields

ptr

long ptr

Actually, a pointer to an ap_environment_t object allocated in the C heap.

Class apron.Generator0

class Generator0 extends 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

class Generator1 extends Object implements Serializable

Serialized Fields

env

Environment env

Environment.

gen

Generator0 gen

Level 0 generator.

Class apron.Interval

class Interval extends Coeff implements Serializable

Serialized Fields

inf

Scalar inf

(Mutable) lower bound.

sup

Scalar sup

(Mutable) upper bound.

Class apron.Lincons0

class Lincons0 extends 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

class Lincons1 extends Object implements Serializable

Serialized Fields

cons

Lincons0 cons

Level 0 constraint.

env

Environment env

Environment.

Class apron.Linexpr0

class Linexpr0 extends Object implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
ClassNotFoundException

Reads back a serialized Mpz.

Throws:

IOException

ClassNotFoundException

readObjectNoData

private void readObjectNoData()
                       throws ObjectStreamException

Fall-back deserialization function: returns 0.

Throws:

ObjectStreamException

writeObject

private void writeObject(ObjectOutputStream out)
                  throws IOException

Serializes this.

Throws:

IOException

Serialized Fields

ptr

long ptr

Actually, a pointer to an ap_linexpr0_t object allocated in the C heap.

Class apron.Linexpr1

class Linexpr1 extends Object implements Serializable

Serialized Fields

env

Environment env

Environment.

expr

Linexpr0 expr

Level 0 expression.

Class apron.Linterm0

class Linterm0 extends Object implements Serializable

Serialized Fields

coeff

Coeff coeff

Variable coefficient.

dim

int dim

Dimension index (positive).

Class apron.Linterm1

class Linterm1 extends Object implements Serializable

Serialized Fields

coeff

Coeff coeff

Variable coefficient.

var

Var var

Variable name.

Class apron.MpfrScalar

class MpfrScalar extends Scalar implements Serializable

Serialized Fields

val

Mpfr val

The (mutable) scalar value.

Class apron.MpqScalar

class MpqScalar extends Scalar implements Serializable

Serialized Fields

val

Mpq val

The (mutable) scalar value.

Exception Class apron.NotImplementedException

class NotImplementedException extends ApronException implements Serializable

Exception Class apron.OutOfSpaceException

class OutOfSpaceException extends ApronException implements Serializable

Exception Class apron.OverflowException

class OverflowException extends ApronException implements Serializable

Class apron.Scalar

class Scalar extends Coeff implements Serializable

Class apron.StringVar

class StringVar extends Object implements Serializable

Serialized Fields

name

String name

Class apron.Tcons0

class Tcons0 extends 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

class Tcons1 extends Object implements Serializable

Serialized Fields

cons

Tcons0 cons

Level 0 constraint.

env

Environment env

Environment.

Class apron.Texpr0BinNode

class Texpr0BinNode extends Texpr0Node implements Serializable

Serialized Fields

lArg

Texpr0Node lArg

Left argument.

op

int op

Operation (Texpr0BinNode.OP_ADD, etc.).

rArg

Texpr0Node rArg

Right argument.

rdir

int rdir

Rounding direction (Texpr0Node.RDIR_NEAREST, etc.).

rtype

int rtype

Rounding type (Texpr0Node.RTYPE_REAL, etc).

Class apron.Texpr0CstNode

class Texpr0CstNode extends Texpr0Node implements Serializable

Serialized Fields

cst

Coeff cst

Constant value.

Class apron.Texpr0DimNode

class Texpr0DimNode extends Texpr0Node implements Serializable

Serialized Fields

dim

int dim

Dimension.

Class apron.Texpr0Intern

class Texpr0Intern extends Object implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
ClassNotFoundException

Reads back a serialized Mpz.

Throws:

IOException

ClassNotFoundException

readObjectNoData

private void readObjectNoData()
                       throws ObjectStreamException

Fall-back deserialization function: returns 0.

Throws:

ObjectStreamException

writeObject

private void writeObject(ObjectOutputStream out)
                  throws IOException

Serializes this.

Throws:

IOException

Serialized Fields

ptr

long ptr

Actually, a pointer to an ap_texpr0_t object allocated in the C heap.

Class apron.Texpr0Node

class Texpr0Node extends Object implements Serializable

Class apron.Texpr0UnNode

class Texpr0UnNode extends Texpr0Node implements Serializable

Serialized Fields

arg

Texpr0Node arg

Argument.

op

int op

Operation (Texpr0UnNode.OP_NEG, etc.).

rdir

int rdir

Rounding direction (Texpr0Node.RDIR_NEAREST, etc.).

rtype

int rtype

Rounding type (Texpr0Node.RTYPE_REAL, etc).

Class apron.Texpr1BinNode

class Texpr1BinNode extends Texpr1Node implements Serializable

Serialized Fields

lArg

Texpr1Node lArg

Left argument.

op

int op

Operation (Texpr1BinNode.OP_ADD, etc.).

rArg

Texpr1Node rArg

Right argument.

rdir

int rdir

Rounding direction (Texpr1Node.RDIR_NEAREST, etc.).

rtype

int rtype

Rounding type (Texpr1Node.RTYPE_REAL, etc).

Class apron.Texpr1CstNode

class Texpr1CstNode extends Texpr1Node implements Serializable

Serialized Fields

cst

Coeff cst

Constant value.

Class apron.Texpr1Intern

class Texpr1Intern extends Object implements Serializable

Serialized Fields

env

Environment env

Environment.

expr

Texpr0Intern expr

Level 0 expression.

Class apron.Texpr1Node

class Texpr1Node extends Object implements Serializable

Class apron.Texpr1UnNode

class Texpr1UnNode extends Texpr1Node implements Serializable

Serialized Fields

arg

Texpr1Node arg

Argument.

op

int op

Operation (Texpr1UnNode.OP_NEG, etc.).

rdir

int rdir

Rounding direction (Texpr1Node.RDIR_NEAREST, etc.).

rtype

int rtype

Rounding type (Texpr1Node.RTYPE_REAL, etc).

Class apron.Texpr1VarNode

class Texpr1VarNode extends Texpr1Node implements Serializable

Serialized Fields

var

Var var

Variable name.

Exception Class apron.TimeoutException

class TimeoutException extends ApronException implements Serializable

Package gmp

Class gmp.Mpfr

class Mpfr extends Object implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
ClassNotFoundException

Reads back a serialized Mpfr.

Not only the value, but also the precision is restored.

Throws:

IOException

ClassNotFoundException

readObjectNoData

private void readObjectNoData()
                       throws ObjectStreamException

Fall-back deserialization function: sets to NaN with the default precision.

Throws:

ObjectStreamException

writeObject

private void writeObject(ObjectOutputStream out)
                  throws IOException

Serializes this.

Not only the value, but also the precision is stored.

Throws:

IOException

Serialized Fields

ptr

long ptr

Actually, a pointer to a mpfr_t object allocated in the C heap.

Class gmp.Mpq

class Mpq extends Object implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
ClassNotFoundException

Reads back a serialized Mpq.

Throws:

IOException

ClassNotFoundException

readObjectNoData

private void readObjectNoData()
                       throws ObjectStreamException

Fall-back deserialization function: sets to 0.

Throws:

ObjectStreamException

writeObject

private void writeObject(ObjectOutputStream out)
                  throws IOException

Serializes this.

Throws:

IOException

Serialized Fields

ptr

long ptr

Actually, a pointer to a mpq_t object allocated in the C heap.

Class gmp.Mpz

class Mpz extends Object implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws IOException,
ClassNotFoundException

Reads back a serialized Mpz.

Throws:

IOException

ClassNotFoundException

readObjectNoData

private void readObjectNoData()
                       throws ObjectStreamException

Fall-back deserialization function: sets to 0.

Throws:

ObjectStreamException

writeObject

private void writeObject(ObjectOutputStream out)
                  throws IOException

Serializes this.

Throws:

IOException

Serialized Fields

ptr

long ptr

Actually, a pointer to a mpz_t object allocated in the C heap.

Class gmp.MpzRef

class MpzRef extends Mpz implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream in)
                 throws NotSerializableException

A MpzRef represents a reference and cannot be serialized.

Throws:

NotSerializableException

readObjectNoData

private void readObjectNoData()
                       throws NotSerializableException

A MpzRef object represents a reference and cannot be serialized.

Throws:

NotSerializableException

writeObject

private void writeObject(ObjectOutputStream out)
                  throws NotSerializableException

A MpzRef represents a reference and cannot be serialized.

Throws:

NotSerializableException

Serialized Fields

parent

Object parent

We keep a pointer to the parent Mpq object so that it is not freed while a MpzRef on it is live.