Index

A B C D E F G H I J K L M N O P R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

abs - Variable in class apron.Abstract1: Level 0 abstract element.
abs() - Method in class gmp.Mpq: Replaces this with |this|.
abs() - Method in class gmp.Mpz: Replaces this with |this|.
abs(int) - Method in class gmp.Mpfr: Takes the absolute value of this.
abs(Mpfr, int) - Method in class gmp.Mpfr: Sets this to |op|.
abs(Mpq) - Method in class gmp.Mpq: Stores |arg| into this.
abs(Mpz) - Method in class gmp.Mpz: Stores |arg| into this.
Abstract0 - Class in apron: Class of level 0 numerical abstract values.
Abstract0(Manager, int, int) - Constructor for class apron.Abstract0: Creates a new universal abstract element.
Abstract0(Manager, int, int, boolean) - Constructor for class apron.Abstract0: Creates a new universal or empty abstract element.
Abstract0(Manager, int, int, Interval[]) - Constructor for class apron.Abstract0: Creates a new abstract element from a box.
Abstract0(Manager, int, int, Lincons0[]) - Constructor for class apron.Abstract0: Creates a new abstract element from a set of constraints.
Abstract0(Manager, int, int, Tcons0[]) - Constructor for class apron.Abstract0: Creates a new abstract element from a set of constraints.
Abstract0(Manager, Abstract0) - Constructor for class apron.Abstract0: Creates a copy of the abstract element a.
Abstract1 - Class in apron: Class of level 1 numerical abstract values.
Abstract1(Manager, Abstract1) - Constructor for class apron.Abstract1: Creates a copy of the abstract element a.
Abstract1(Manager, Environment) - Constructor for class apron.Abstract1: Creates a new universal abstract element.
Abstract1(Manager, Environment, boolean) - Constructor for class apron.Abstract1: Creates a new universal or empty abstract element.
Abstract1(Manager, Environment, Var[], Interval[]) - Constructor for class apron.Abstract1: Creates a new abstract element from a box.
Abstract1(Manager, Environment, String[], Interval[]) - Constructor for class apron.Abstract1
Abstract1(Manager, Lincons1[]) - Constructor for class apron.Abstract1: Creates a new abstract element from a set of constraints.
Abstract1(Manager, Tcons1[]) - Constructor for class apron.Abstract1: Creates a new abstract element from a set of constraints.
acos(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the arc-cosine of op.
acosh(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the hyperbolic arc-cosine of op.
add(double, int) - Method in class gmp.Mpfr: Adds op to this.
add(int) - Method in class gmp.Mpz: Adds arg to this.
add(int, int) - Method in class gmp.Mpfr: Adds op to this.
add(Var[], Var[]) - Method in class apron.Environment: Returns a new environment with some integer-valued and/or real-valued variables added.
add(Mpfr, double, int) - Method in class gmp.Mpfr: Sets this to op1+op2.
add(Mpfr, int) - Method in class gmp.Mpfr: Adds op to this.
add(Mpfr, int, int) - Method in class gmp.Mpfr: Sets this to op1+op2.
add(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to op1+op2.
add(Mpfr, Mpq, int) - Method in class gmp.Mpfr: Sets this to op1+op2.
add(Mpfr, Mpz, int) - Method in class gmp.Mpfr: Sets this to op1+op2.
add(Mpq) - Method in class gmp.Mpq: Adds arg to this.
add(Mpq, int) - Method in class gmp.Mpfr: Adds op to this.
add(Mpq, Mpq) - Method in class gmp.Mpq: Stores arg1+arg2 into this.
add(Mpz) - Method in class gmp.Mpz: Adds arg to this.
add(Mpz, int) - Method in class gmp.Mpfr: Adds op to this.
add(Mpz, int) - Method in class gmp.Mpz: Stores arg1+arg2 into this.
add(Mpz, Mpz) - Method in class gmp.Mpz: Stores arg1+arg2 into this.
add(String[], String[]) - Method in class apron.Environment
addDimensions(Dimchange) - Method in class apron.Generator0: Adds some dimensions and shifts coefficients accordingly .
addDimensions(Dimchange) - Method in class apron.Lincons0: Adds some dimensions and shifts coefficients accordingly .
addDimensions(Dimchange) - Method in class apron.Linexpr0: Adds some dimensions and shifts coefficients accordingly .
addDimensions(Dimchange) - Method in class apron.Tcons0: Adds some dimensions and shifts coefficients accordingly .
addDimensions(Dimchange) - Method in class apron.Texpr0BinNode
addDimensions(Dimchange) - Method in class apron.Texpr0CstNode
addDimensions(Dimchange) - Method in class apron.Texpr0DimNode
addDimensions(Dimchange) - Method in class apron.Texpr0Intern: Adds some dimensions and shifts coefficients accordingly.
addDimensions(Dimchange) - Method in class apron.Texpr0Node: Adds some dimensions and shifts coefficients accordingly .
addDimensions(Dimchange) - Method in class apron.Texpr0UnNode
addDimensions(Manager, Dimchange, boolean) - Method in class apron.Abstract0: Adds some dimensions to this.
addDimensionsCopy(Dimchange) - Method in class apron.Generator0: Returns a copy of the generator with some dimensions added.
addDimensionsCopy(Dimchange) - Method in class apron.Lincons0: Returns a copy of the constraint with some dimensions added.
addDimensionsCopy(Dimchange) - Method in class apron.Linexpr0: Returns a copy of the expression with some dimensions added.
addDimensionsCopy(Dimchange) - Method in class apron.Tcons0: Returns a copy of the constraint with some dimensions added.
addDimensionsCopy(Dimchange) - Method in class apron.Texpr0Intern: Returns a copy of this with some dimensions added.
addDimensionsCopy(Dimchange) - Method in class apron.Texpr0Node: Returns a copy of this with some dimensions added.
addDimensionsCopy(Manager, Dimchange, boolean) - Method in class apron.Abstract0: Returns a new element containing this after adding some dimensions.
addInvert() - Method in class apron.Dimchange: Inverts this.
addMul(Mpz, int) - Method in class gmp.Mpz: Stores this+arg1*arg2 into this.
addMul(Mpz, Mpz) - Method in class gmp.Mpz: Stores this+arg1*arg2 into this.
addPerm(Var[], Var[], Dimperm[]) - Method in class apron.Environment: Returns a new environment with some integer-valued and/or real-valued variables added.
addPerm(String[], String[], Dimperm[]) - Method in class apron.Environment
addRay(Manager, Generator0) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) this with one ray added.
addRay(Manager, Generator0[]) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) this with some rays added.
addRay(Manager, Generator1) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) this with one ray added.
addRay(Manager, Generator1[]) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) this with some rays added.
addRayCopy(Manager, Generator0) - Method in class apron.Abstract0: Returns a new abstract element that contains (an over-approximation of) this with one ray added.
addRayCopy(Manager, Generator0[]) - Method in class apron.Abstract0: Returns a new abstract element that contains (an over-approximation of) this with some rays added.
addRayCopy(Manager, Generator1) - Method in class apron.Abstract1: Returns a new abstract element that contains (an over-approximation of) this with one ray added.
addRayCopy(Manager, Generator1[]) - Method in class apron.Abstract1: Returns a new abstract element that contains (an over-approximation of) this with some rays added.
afterAdd(int) - Method in class apron.Dimchange: Indicates which dimension i is mapped to, assuming this is used to add dimensions.
afterRemove(int) - Method in class apron.Dimchange: Indicates which dimension i is mapped to, assuming this is used to remove dimensions.
agm(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to the arithmetic-geometric mean of op1 and op2.
and(Mpz) - Method in class gmp.Mpz: Stores the bitwise and of this and op into this.
and(Mpz, Mpz) - Method in class gmp.Mpz: Stores the bitwise and of op1 and op2 into this.
approximate(Manager, int) - Method in class apron.Abstract0: Tries to simplify the representation of the element, maybe at the expense of precision.
approximate(Manager, int) - Method in class apron.Abstract1: Tries to simplify the representation of the element, maybe at the expense of precision.
apron - package apron: Java binding for the Apron library.
ApronException - Exception Class in apron: Superclass of Apron-specific exceptions that can be thrown by numerical abstract domains.
ApronException() - Constructor for exception class apron.ApronException
ApronException(String, Manager, int) - Constructor for exception class apron.ApronException
arg - Variable in class apron.Texpr0UnNode: Argument.
arg - Variable in class apron.Texpr1UnNode: Argument.
arrayOfStrings(String[]) - Static method in class apron.StringVar
asin(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the arc-sine of op.
asinh(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the hyperbolic arc-sine of op.
assign(Manager, int[], Linexpr0[], Abstract0) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) this after assigning ar[i] to dim[i], in parallel.
assign(Manager, int[], Texpr0Intern[], Abstract0) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) this after assigning ar[i] to dim[i], in parallel.
assign(Manager, int, Linexpr0, Abstract0) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) this after assigning expr to dim.
assign(Manager, int, Texpr0Intern, Abstract0) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) this after assigning expr to dim.
assign(Manager, Var[], Linexpr1[], Abstract1) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) this after assigning ar[i] to var[i], in parallel.
assign(Manager, Var[], Texpr1Intern[], Abstract1) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) this after assigning ar[i] to var[i], in parallel.
assign(Manager, Var, Linexpr1, Abstract1) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) this after assigning expr to var.
assign(Manager, Var, Texpr1Intern, Abstract1) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) this after assigning expr to var.
assign(Manager, String[], Linexpr1[], Abstract1) - Method in class apron.Abstract1
assign(Manager, String[], Texpr1Intern[], Abstract1) - Method in class apron.Abstract1
assign(Manager, String, Linexpr1, Abstract1) - Method in class apron.Abstract1
assign(Manager, String, Texpr1Intern, Abstract1) - Method in class apron.Abstract1
assignCopy(Manager, int[], Linexpr0[], Abstract0) - Method in class apron.Abstract0: Returns a new element containing (an over-approximation of) this after assigning ar[i] to dim[i], in parallel.
assignCopy(Manager, int[], Texpr0Intern[], Abstract0) - Method in class apron.Abstract0: Returns a new element containing (an over-approximation of) this after assigning ar[i] to dim[i], in parallel.
assignCopy(Manager, int, Linexpr0, Abstract0) - Method in class apron.Abstract0: Returns a new element containing (an over-approximation of) this after assigning expr to dim.
assignCopy(Manager, int, Texpr0Intern, Abstract0) - Method in class apron.Abstract0: Returns a new element containing (an over-approximation of) this after assigning expr to dim.
assignCopy(Manager, Var[], Linexpr1[], Abstract1) - Method in class apron.Abstract1: Returns a new element containing (an over-approximation of) this after assigning ar[i] to var[i], in parallel.
assignCopy(Manager, Var[], Texpr1Intern[], Abstract1) - Method in class apron.Abstract1: Returns a new element containing (an over-approximation of) this after assigning ar[i] to var[i], in parallel.
assignCopy(Manager, Var, Linexpr1, Abstract1) - Method in class apron.Abstract1: Returns a new element containing (an over-approximation of) this after assigning expr to var.
assignCopy(Manager, Var, Texpr1Intern, Abstract1) - Method in class apron.Abstract1: Returns a new element containing (an over-approximation of) this after assigning expr to var.
assignCopy(Manager, String[], Texpr1Intern[], Abstract1) - Method in class apron.Abstract1
assignCopy(Manager, String, Linexpr1, Abstract1) - Method in class apron.Abstract1
assignCopy(Manager, String, Texpr1Intern, Abstract1) - Method in class apron.Abstract1
atan(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the arc-tangent of op.
atan2(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to the arc-tangent2 of y and x.
atanh(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the hyperbolic arc-tangent of op.

B

bigIntegerValue() - Method in class gmp.Mpz: Returns this as a Java big integer.
bin(int, int) - Method in class gmp.Mpz: Stores into this the binomial coefficient (n k).
bin(Mpz, int) - Method in class gmp.Mpz: Stores into this the binomial coefficient (n k).
Box - Class in apron: Manager factory for the interval abstract domain.
Box() - Constructor for class apron.Box: Creates a new manager to create and manipulate boxes.
byteArrayValue() - Method in class gmp.Mpz: Returns the magnitude of this.

C

canonicalize() - Method in class gmp.Mpq: Puts the fraction into normal form.
canonicalize(Manager) - Method in class apron.Abstract0: Tries to put the element in canonical form.
canonicalize(Manager) - Method in class apron.Abstract1: Tries to put the element in canonical form.
canRound(int, int, int, int) - Method in class gmp.Mpfr: Whether this can be rounded without loss of precision.
cbrt(int) - Method in class gmp.Mpfr: Takes the cubic root of this.
cbrt(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the cubic root of op.
cdivQ(int) - Method in class gmp.Mpz: Divides this by d, rounds towards +oo, and returns the remainder.
cdivQ(Mpz) - Method in class gmp.Mpz: Divides this by d and rounds towards +oo.
cdivQ(Mpz, int) - Method in class gmp.Mpz: Stores the quotient of n/d rounded towards +oo into this, and returns the remainder.
cdivQ(Mpz, Mpz) - Method in class gmp.Mpz: Stores the quotient of n/d rounded towards +oo into this.
cdivQ2exp(Mpz, int) - Method in class gmp.Mpz: Stores the quotient of n/(2^d) rounded towards +oo into this.
cdivQR(Mpz, Mpz, int) - Method in class gmp.Mpz: Stores the quotient of n/d rounded towards +oo into this, the remainder into r, and returns the remainder.
cdivQR(Mpz, Mpz, Mpz) - Method in class gmp.Mpz: Stores the quotient of n/d rounded towards +oo into this and the remainder into r.
cdivR(int) - Method in class gmp.Mpz: Returns the remainder of of this/d rounded towards +oo.
cdivR(Mpz, int) - Method in class gmp.Mpz: Stores the remainder of n/d rounded towards +oo into this, and returns the remainder.
cdivR(Mpz, Mpz) - Method in class gmp.Mpz: Stores the remainder of n/d rounded towards +oo into this.
cdivR2exp(Mpz, int) - Method in class gmp.Mpz: Stores the remainder of n/(2^d) rounded towards +oo into this.
ceil(Mpfr) - Method in class gmp.Mpfr: Stores into this, op rounded to the next representable integer.
changeEnvironment(Manager, Environment, boolean) - Method in class apron.Abstract1: Changes the environment into e.
changeEnvironmentCopy(Manager, Environment, boolean) - Method in class apron.Abstract1: Returns a copy of this with new environment e.
checkRange(int, int) - Method in class gmp.Mpfr: Forces this to be in the current range of acceptable values.
clearERangeFlag() - Static method in class gmp.Mpfr: Clears the erange (invalid range) flag.
clearInexFlag() - Static method in class gmp.Mpfr: Clears the inexact flag.
clearNaNFlag() - Static method in class gmp.Mpfr: Clears the invalid flag.
clearOverflow() - Static method in class gmp.Mpfr: Clears the overflow flag.
clearUnderflow() - Static method in class gmp.Mpfr: Clears the underflow flag.
clone() - Method in class apron.Dimchange: Returns a copy of this.
clone() - Method in class apron.Dimperm: Returns a copy of this.
clone() - Method in class apron.DoubleScalar: Returns a copy of this.
clone() - Method in class apron.Environment: Returns this (as Environment are immutable).
clone() - Method in class apron.Generator0: Returns a copy of this.
clone() - Method in class apron.Generator1: Returns a copy of this.
clone() - Method in class apron.Interval: Returns a copy of this.
clone() - Method in class apron.Lincons0: Returns a copy of this.
clone() - Method in class apron.Lincons1: Returns a copy of this.
clone() - Method in class apron.Linexpr0: Returns a copy of this.
clone() - Method in class apron.Linexpr1: Returns a copy of this.
clone() - Method in class apron.Linterm0: Returns a copy of this.
clone() - Method in class apron.Linterm1: Returns a copy of this.
clone() - Method in class apron.MpfrScalar: Returns a copy of this.
clone() - Method in class apron.MpqScalar: Returns a copy of this.
clone() - Method in class apron.StringVar
clone() - Method in class apron.Tcons0: Returns a copy of this.
clone() - Method in class apron.Tcons1: Returns a copy of this.
clone() - Method in class apron.Texpr0Intern: Returns a deep copy of this.
clone() - Method in class apron.Texpr0Node: Returns a deep copy of this.
clone() - Method in class apron.Texpr1Intern: Returns a deep copy of this.
clone() - Method in class apron.Texpr1Node: Returns a deep copy of this.
clone() - Method in interface apron.Var
clone() - Method in class gmp.Mpfr: Creates a new Mpfr initialized with the value of this.
clone() - Method in class gmp.Mpq: Creates a new Mpq initialized with the value of this.
clone() - Method in class gmp.Mpz: Creates a new Mpz initialized with the value of this.
clone() - Method in class gmp.MpzRef: MpzRef are not clonable.
closure(Manager) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) its topological closure.
closure(Manager) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) its topological closure.
closureCopy(Manager) - Method in class apron.Abstract0: Returns a new element which is (an over-approximation of) the topological closure of this.
closureCopy(Manager) - Method in class apron.Abstract1: Returns a new element which is (an over-approximation of) the topological closure of this.
clrBit(int) - Method in class gmp.Mpz: Sets the pos-th bit to 0 in this.
cmp(double) - Method in class gmp.Mpfr: Compares this to op.
cmp(double) - Method in class gmp.Mpz: Returns a positive, null, or negative number when this is respectively strictly greater, equal, or strictly smaller than op.
cmp(int) - Method in class apron.DoubleScalar: Returns -1, 0, 1 if this is respectively strictly smaller, equal, or strictly greater than x.
cmp(int) - Method in class apron.MpfrScalar: Returns -1, 0, 1 if this is respectively strictly smaller, equal, or strictly greater than x.
cmp(int) - Method in class apron.MpqScalar: Returns -1, 0, 1 if this is respectively strictly smaller, equal, or strictly greater than x.
cmp(int) - Method in class apron.Scalar: Returns -1, 0, 1 if this is respectively strictly smaller, equal, or strictly greater than x.
cmp(int) - Method in class gmp.Mpfr: Compares this to op.
cmp(int) - Method in class gmp.Mpz: Returns a positive, null, or negative number when this is respectively strictly greater, equal, or strictly smaller than op.
cmp(int, int) - Method in class gmp.Mpq: Returns a positive, null, or negative number when this is respectively strictly greater, equal, or strictly smaller than num/den.
cmp(Coeff) - Method in class apron.Coeff: Compare this and x for inclusion.
cmp(Coeff) - Method in class apron.Interval: Compares this and x for inclusion.
cmp(Coeff) - Method in class apron.Scalar: Compare this and x for inclusion.
cmp(DoubleScalar) - Method in class apron.DoubleScalar: Returns -1, 0, 1 if this is respectively strictly smaller, equal, or strictly greater than x.
cmp(Environment) - Method in class apron.Environment: Returns -2 if the environments are incompatible, -1 if this is a subset of e, 0 if this and e are equal, 1 if this is a superset of e, and 2 otherwise, if this and e have a least common element.
cmp(Interval) - Method in class apron.Interval: Compares this and x for inclusion.
cmp(Linexpr0) - Method in class apron.Linexpr0: Compares this and x with a lexicographic ordering.
cmp(Linexpr1) - Method in class apron.Linexpr1: Compares this and x.
cmp(MpfrScalar) - Method in class apron.MpfrScalar: Returns -1, 0, 1 if this is respectively strictly smaller, equal, or strictly greater than x.
cmp(MpqScalar) - Method in class apron.MpqScalar: Returns -1, 0, 1 if this is respectively strictly smaller, equal, or strictly greater than x.
cmp(Scalar) - Method in class apron.DoubleScalar: Returns -1, 0, 1 if this is respectively strictly smaller, equal, or strictly greater than x.
cmp(Scalar) - Method in class apron.MpfrScalar: Returns -1, 0, 1 if this is respectively strictly smaller, equal, or strictly greater than x.
cmp(Scalar) - Method in class apron.MpqScalar: Returns -1, 0, 1 if this is respectively strictly smaller, equal, or strictly greater than x.
cmp(Scalar) - Method in class apron.Scalar: Returns -1, 0, 1 if this is respectively strictly smaller, equal, or strictly greater than x.
cmp(Mpfr) - Method in class gmp.Mpfr: Compares this to op.
cmp(Mpq) - Method in class gmp.Mpfr: Compares this to op.
cmp(Mpq) - Method in class gmp.Mpq: Returns a positive, null, or negative number when this is respectively strictly greater, equal, or strictly smaller than op.
cmp(Mpz) - Method in class gmp.Mpfr: Compares this to op.
cmp(Mpz) - Method in class gmp.Mpz: Returns a positive, null, or negative number when this is respectively strictly greater, equal, or strictly smaller than op.
cmp2exp(int, int) - Method in class gmp.Mpfr: Compares this to op*2^e.
cmpAbs(double) - Method in class gmp.Mpz: Returns a positive, null, or negative number when |this| is respectively strictly greater, equal, or strictly smaller than |op|.
cmpAbs(int) - Method in class gmp.Mpz: Returns a positive, null, or negative number when |this| is respectively strictly greater, equal, or strictly smaller than |op|.
cmpAbs(Mpfr) - Method in class gmp.Mpfr: Compares |this| to |op|.
cmpAbs(Mpz) - Method in class gmp.Mpz: Returns a positive, null, or negative number when |this| is respectively strictly greater, equal, or strictly smaller than |op|.
coeff - Variable in class apron.Linterm0: Variable coefficient.
coeff - Variable in class apron.Linterm1: Variable coefficient.
Coeff - Class in apron: Abstract class of constant coefficients that can appear in expressions.
Coeff() - Constructor for class apron.Coeff
collapse(Abstract0, int) - Method in class apron.Pplite: Modifies a to have at most n disjuncts.
compareTo(Var) - Method in class apron.StringVar
compareTo(Var) - Method in interface apron.Var
compareTo(Mpfr) - Method in class gmp.Mpfr: Compare the value of this and x.
compareTo(Mpq) - Method in class gmp.Mpq: Compare the value of this and x.
compareTo(Mpz) - Method in class gmp.Mpz: Compare the value of this and x.
compose(Dimperm) - Method in class apron.Dimperm: Returns a permutation equal to this composed with op.
cons - Variable in class apron.Lincons1: Level 0 constraint.
cons - Variable in class apron.Tcons1: Level 0 constraint.
constCatalan(int) - Method in class gmp.Mpfr: Sets this to Catalan's constant.
constEuler(int) - Method in class gmp.Mpfr: Sets this to Euler's constant.
constLog2(int) - Method in class gmp.Mpfr: Sets this to the constant log(2).
constPi(int) - Method in class gmp.Mpfr: Sets this to the constant pi.
coord - Variable in class apron.Generator0: Coordinates of the generator.
copy() - Method in class apron.Coeff: Creates a copy of the coefficient, of the same kind.
copy() - Method in class apron.DoubleScalar
copy() - Method in class apron.Interval
copy() - Method in class apron.MpfrScalar
copy() - Method in class apron.MpqScalar
copy() - Method in class apron.Scalar: Creates a copy of the Scalar, of the same kind.
copySign(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to op1 (rounded), and then sets the bit-sign of this to that of op2.
cos(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the cosine of op.
cosh(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the hyperbolic cosine of op.
cot(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the cotangent of op.
coth(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the hyperbolic cotangent of op.
create() - Static method in class apron.Coeff: Creates a 0 coefficient as a double Scalar.
create() - Static method in class apron.Scalar: Creates a double Scalar initialized to 0.
csc(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the cosecant op.
csch(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the hyperbolic cosecant op.
cst - Variable in class apron.Texpr0CstNode: Constant value.
cst - Variable in class apron.Texpr1CstNode: Constant value.

D

deepCopy() - Method in class apron.Texpr0BinNode
deepCopy() - Method in class apron.Texpr0CstNode
deepCopy() - Method in class apron.Texpr0DimNode
deepCopy() - Method in class apron.Texpr0Node: Deep copy.
deepCopy() - Method in class apron.Texpr0UnNode
deepCopy() - Method in class apron.Texpr1BinNode
deepCopy() - Method in class apron.Texpr1CstNode
deepCopy() - Method in class apron.Texpr1Node: Deep copy.
deepCopy() - Method in class apron.Texpr1UnNode
deepCopy() - Method in class apron.Texpr1VarNode
denRef() - Method in class gmp.Mpq: Returns a reference to the denominator of this.
deserialize(Manager, byte[]) - Static method in class apron.Abstract0: Restores an abstract element from a byte array.
deserialize(Manager, Environment, byte[]) - Static method in class apron.Abstract1: Restores an abstract element from a byte array.
dim - Variable in class apron.Linterm0: Dimension index (positive).
dim - Variable in class apron.Texpr0DimNode: Dimension.
dim(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to max(0, op1-op2).
dimchange(Environment) - Method in class apron.Environment: Returns the dimension specification to add to convert a level 0 object on the environment this to a level 0 object on the super-environment e.
Dimchange - Class in apron: Class of dimension change specifications for level 0 objects.
Dimchange(int, int, int[]) - Constructor for class apron.Dimchange: Creates a Dimchange.
dimchange2(Environment) - Method in class apron.Environment: Returns the dimension specification to add and to remove to convert a level 0 object on environment this to a level 0 object on environment e.
Dimension - Class in apron: Class of dimension specifications for level 0 objects.
Dimension(int, int) - Constructor for class apron.Dimension: Constructs a new Dimension object.
dimOfVar(Var) - Method in class apron.Environment: Returns the index associated to the variable in the environment.
dimOfVar(String) - Method in class apron.Environment
Dimperm - Class in apron: Class of dimension permutations for level 0 objects.
Dimperm(int) - Constructor for class apron.Dimperm: Creates an identity permutation of dimensions 0 to size-1.
Dimperm(int[]) - Constructor for class apron.Dimperm: Creates a permutation.
Dimperm(Dimperm) - Constructor for class apron.Dimperm: Creates a copy of this.
DISEQ - Static variable in class apron.Lincons0: Disquality constraint: expr <> 0.
DISEQ - Static variable in class apron.Lincons1: Disquality constraint: expr <> 0.
DISEQ - Static variable in class apron.Tcons0: Disquality constraint: expr <> 0.
DISEQ - Static variable in class apron.Tcons1: Disquality constraint: expr <> 0.
div(double, int) - Method in class gmp.Mpfr: Divides this by op.
div(double, Mpfr, int) - Method in class gmp.Mpfr: Sets this to op1/op2.
div(int, int) - Method in class gmp.Mpfr: Divides this by op.
div(int, Mpfr, int) - Method in class gmp.Mpfr: Sets this to op1/op2.
div(Mpfr, double, int) - Method in class gmp.Mpfr: Sets this to op1/op2.
div(Mpfr, int) - Method in class gmp.Mpfr: Divides this by op.
div(Mpfr, int, int) - Method in class gmp.Mpfr: Sets this to op1/op2.
div(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to op1/op2.
div(Mpfr, Mpq, int) - Method in class gmp.Mpfr: Sets this to op1/op2.
div(Mpfr, Mpz, int) - Method in class gmp.Mpfr: Sets this to op1/op2.
div(Mpq) - Method in class gmp.Mpq: Divides this by arg.
div(Mpq, int) - Method in class gmp.Mpfr: Divides this by op.
div(Mpq, Mpq) - Method in class gmp.Mpq: Stores arg1/arg2 into this.
div(Mpz, int) - Method in class gmp.Mpfr: Divides this by op.
div2exp(int) - Method in class gmp.Mpq: Divides this by (2^arg).
div2exp(int, int) - Method in class gmp.Mpfr: Divides this by 2^op.
div2exp(Mpfr, int, int) - Method in class gmp.Mpfr: Sets this to op1/(2^op2).
div2exp(Mpq, int) - Method in class gmp.Mpq: Stores arg1/(2^arg2) into this.
divExact(int) - Method in class gmp.Mpz: Divides this by d, assuming that d divides this. d must be positive.
divExact(Mpz) - Method in class gmp.Mpz: Divides this by d, assuming that d divides this.
divExact(Mpz, int) - Method in class gmp.Mpz: Stores n/d into this, assuming that d divides n. d must be positive.
divExact(Mpz, Mpz) - Method in class gmp.Mpz: Stores n/d into this, assuming that d divides n.
divRev(double, int) - Method in class gmp.Mpfr: Stores op/this into this.
divRev(int, int) - Method in class gmp.Mpfr: Stores op/this into this.
divRev(Mpq) - Method in class gmp.Mpq: Stores arg/this into this.
doubleExponentValue(int[]) - Method in class gmp.Mpz: Converts the integer to a mantissa and exponent.
doubleExponentValue(int[], int) - Method in class gmp.Mpfr: Converts the integer to a mantissa and exponent.
DoubleScalar - Class in apron: Class of Scalar objects backed up by a double-precision floating-point number.
DoubleScalar() - Constructor for class apron.DoubleScalar: Creates a new double Scalar set to 0.
DoubleScalar(double) - Constructor for class apron.DoubleScalar: Creates a new double Scalar initialized to x.
DoubleScalar(DoubleScalar) - Constructor for class apron.DoubleScalar: Creates a copy of x.
doubleValue() - Method in class gmp.Mpq: Returns this as a double.
doubleValue() - Method in class gmp.Mpz: Returns this as a double.
doubleValue(int) - Method in class gmp.Mpfr: Returns this as a double (with rounding).

E

eint(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the exponential integral of op.
env - Variable in class apron.Abstract1: Environment.
env - Variable in class apron.Generator1: Environment.
env - Variable in class apron.Lincons1: Environment.
env - Variable in class apron.Linexpr1: Environment.
env - Variable in class apron.Tcons1: Environment.
env - Variable in class apron.Texpr1Intern: Environment.
Environment - Class in apron: Class of environments for level 1 objects.
Environment() - Constructor for class apron.Environment: Constructs an empty environment.
Environment(Var[], Var[]) - Constructor for class apron.Environment: Constructs an environment containing some integer-valued and some real-valued variables.
Environment(String[], String[]) - Constructor for class apron.Environment
EQ - Static variable in class apron.Lincons0: Equality constraint: expr = 0.
EQ - Static variable in class apron.Lincons1: Equality constraint: expr = 0.
EQ - Static variable in class apron.Tcons0: Equality constraint: expr = 0.
EQ - Static variable in class apron.Tcons1: Equality constraint: expr = 0.
EQMOD - Static variable in class apron.Lincons0: Congruence equality constraint modulo a constant: expr = 0 mod scalar.
EQMOD - Static variable in class apron.Lincons1: Congruence equality constraint modulo a constant: expr = 0 mod scalar.
EQMOD - Static variable in class apron.Tcons0: Congruence equality constraint modulo a constant: expr = 0 mod scalar.
EQMOD - Static variable in class apron.Tcons1: Congruence equality constraint modulo a constant: expr = 0 mod scalar.
equals(Object) - Method in class apron.Coeff: Whether x is a Coeff has the same value.
equals(Object) - Method in class apron.Dimchange: Whether x is a Generator1 and structurally equal to this.
equals(Object) - Method in class apron.Dimension: Whether x is a Dimension and structurally equal to this.
equals(Object) - Method in class apron.Dimperm: Whether x is a Dimperm and structurally equal to this.
equals(Object) - Method in class apron.Environment: Whether x is a Generator1 and structurally equal to this.
equals(Object) - Method in class apron.Generator0: Whether x is a Generator0 and structurally equal to this.
equals(Object) - Method in class apron.Generator1: Whether x is a Generator1 and structurally equal to this.
equals(Object) - Method in class apron.Lincons0: Whether x is a Lincons0 and structurally equal to this.
equals(Object) - Method in class apron.Lincons1: Whether x is a Lincons1 and structurally equal to this.
equals(Object) - Method in class apron.Linexpr0: Whether x is a Linexpr0 and structurally equal to this.
equals(Object) - Method in class apron.Linexpr1: Whether x is a Linexpr1 tree and structurally equal to this.
equals(Object) - Method in class apron.Linterm0: Whether x is a Linterm0 and structurally equal to this.
equals(Object) - Method in class apron.Linterm1: Whether x is a Linterm1 and structurally equal to this.
equals(Object) - Method in class apron.StringVar
equals(Object) - Method in class apron.Tcons0: Whether x is a Tcons0 tree and structurally equal to this.
equals(Object) - Method in class apron.Tcons1: Whether x is a Tcons1 and structurally equal to this.
equals(Object) - Method in class apron.Texpr0BinNode
equals(Object) - Method in class apron.Texpr0CstNode
equals(Object) - Method in class apron.Texpr0DimNode
equals(Object) - Method in class apron.Texpr0Intern: Whether x is a Texpr0Intern tree and structurally equal to this.
equals(Object) - Method in class apron.Texpr0Node: Whether x is a Texpr0 tree and structurally equal to this.
equals(Object) - Method in class apron.Texpr0UnNode
equals(Object) - Method in class apron.Texpr1BinNode
equals(Object) - Method in class apron.Texpr1CstNode
equals(Object) - Method in class apron.Texpr1Intern: Whether x is a Texpr1Intern tree and structurally equal to this.
equals(Object) - Method in class apron.Texpr1Node: Whether x is a Texpr1 tree and structurally equal to this.
equals(Object) - Method in class apron.Texpr1UnNode
equals(Object) - Method in class apron.Texpr1VarNode
equals(Object) - Method in class gmp.Mpfr: Whether x is a Mpfr and has the same value as this.
equals(Object) - Method in class gmp.Mpq: Whether x is a Mpq and has the same value as this.
equals(Object) - Method in class gmp.Mpz: Whether x is a Mpz and has the same value as this.
erf(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the value of the error function at op.
erfc(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the value of the complementary error function at op.
exp(Mpfr, int) - Method in class gmp.Mpfr: Sets this to e^op.
exp10(Mpfr, int) - Method in class gmp.Mpfr: Sets this to 10^op.
exp2(Mpfr, int) - Method in class gmp.Mpfr: Sets this to 2^op.
expand(Manager, int, int) - Method in class apron.Abstract0: Duplicates n times the variable dim in this.
expand(Manager, Var, Var[]) - Method in class apron.Abstract1: Duplicates the variable org as dst[0] ... dst[dst.length-1].
expand(Manager, String, String[]) - Method in class apron.Abstract1
expandCopy(Manager, int, int) - Method in class apron.Abstract0: Returns a new element where variable dim is duplicated n times.
expandCopy(Manager, Var, Var[]) - Method in class apron.Abstract1: Returns a new element where variable org is duplicated as dst[0] ... dst[dst.length-1].
expandCopy(Manager, String, String[]) - Method in class apron.Abstract1
expm1(Mpfr, int) - Method in class gmp.Mpfr: Sets this to exp(op-1).
expr - Variable in class apron.Lincons0: Left member of the constraint.
expr - Variable in class apron.Linexpr1: Level 0 expression.
expr - Variable in class apron.Tcons0: Left member of the constraint.
expr - Variable in class apron.Texpr1Intern: Level 0 expression.
extendEnvironment(Environment) - Method in class apron.Generator1: Expands the generator to fit the given environment.
extendEnvironment(Environment) - Method in class apron.Lincons1: Expands the constraint to fit the given environment.
extendEnvironment(Environment) - Method in class apron.Linexpr1: Expands the expression to fit the given environment.
extendEnvironment(Environment) - Method in class apron.Tcons1: Expands the constraint to fit the given environment.
extendEnvironment(Environment) - Method in class apron.Texpr1Intern: Expands the expression to fit the given environment.
extendEnvironmentCopy(Environment) - Method in class apron.Generator1: Returns a generator expanded to fit the given environment.
extendEnvironmentCopy(Environment) - Method in class apron.Lincons1: Returns a constraint expanded to fit the given environment.
extendEnvironmentCopy(Environment) - Method in class apron.Linexpr1: Returns a new expression expanded to fit the given environment.
extendEnvironmentCopy(Environment) - Method in class apron.Tcons1: Returns a constraint expanded to fit the given environment.
extendEnvironmentCopy(Environment) - Method in class apron.Texpr1Intern: Returns an expression expanded to fit the given environment.

F

fac(int) - Method in class gmp.Mpz: Stores op!
fac(int, int) - Method in class gmp.Mpfr: Sets this to i!.
fdivQ(int) - Method in class gmp.Mpz: Divides this by d, rounds towards -oo, and returns the remainder.
fdivQ(Mpz) - Method in class gmp.Mpz: Divides this by d and rounds towards -oo.
fdivQ(Mpz, int) - Method in class gmp.Mpz: Stores the quotient of n/d rounded towards -oo into this, and returns the remainder.
fdivQ(Mpz, Mpz) - Method in class gmp.Mpz: Stores the quotient of n/d rounded towards -oo into this.
fdivQ2exp(Mpz, int) - Method in class gmp.Mpz: Stores the quotient of n/(2^d) rounded towards -oo into this.
fdivQR(Mpz, Mpz, int) - Method in class gmp.Mpz: Stores the quotient of n/d rounded towards -oo into this, the remainder into r, and returns the remainder.
fdivQR(Mpz, Mpz, Mpz) - Method in class gmp.Mpz: Stores the quotient of n/d rounded towards -oo into this and the remainder into r.
fdivR(int) - Method in class gmp.Mpz: Returns the remainder of of this/d rounded towards -oo.
fdivR(Mpz, int) - Method in class gmp.Mpz: Stores the remainder of n/d rounded towards -oo into this, and returns the remainder.
fdivR(Mpz, Mpz) - Method in class gmp.Mpz: Stores the remainder of n/d rounded towards -oo into this.
fdivR2exp(Mpz, int) - Method in class gmp.Mpz: Stores the remainder of n/(2^d) rounded towards -oo into this.
fib(int) - Method in class gmp.Mpz: Stores into this the n-th Fibonacci number.
fib(Mpz, int) - Method in class gmp.Mpz: Stores into this the n-th Fibonacci number, and into r the n-1-th Fibonacci number.
fillDims(boolean[]) - Method in class apron.Texpr0BinNode
fillDims(boolean[]) - Method in class apron.Texpr0CstNode
fillDims(boolean[]) - Method in class apron.Texpr0DimNode
fillDims(boolean[]) - Method in class apron.Texpr0Node: Used internally by getDims.
fillDims(boolean[]) - Method in class apron.Texpr0UnNode
fillVars(HashSet<Var>) - Method in class apron.Texpr1BinNode
fillVars(HashSet<Var>) - Method in class apron.Texpr1CstNode
fillVars(HashSet<Var>) - Method in class apron.Texpr1Node: Used internally for getVars.
fillVars(HashSet<Var>) - Method in class apron.Texpr1UnNode
fillVars(HashSet<Var>) - Method in class apron.Texpr1VarNode
finalize() - Method in class apron.Dimchange: Deallocates the underlying Apron object.
finalize() - Method in class apron.Dimperm: Deallocates the underlying Apron object.
finalize() - Method in class apron.Environment: Deallocates the underlying Apron object.
finalize() - Method in class apron.Linexpr0: Deallocates the underlying Apron object.
finalize() - Method in class apron.Manager: Deallocates the Apron ap_manager_t object.
finalize() - Method in class apron.Texpr0Intern: Deallocates the underlying ap_texpr0_t Apron object.
fitsInt() - Method in class gmp.Mpz: Whether this can fit in an int.
fitsInt(int) - Method in class gmp.Mpfr: Whether this converted to integer (with rounding) fits in an int.
floor(Mpfr) - Method in class gmp.Mpfr: Stores into this, op rounded to the previous representable integer.
fma(Mpfr, Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to (op1*op2)+op3.
fmod(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to x-y*trunc(x/y).
fms(Mpfr, Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to (op1*op2)-op3.
fold(Manager, int[]) - Method in class apron.Abstract0: Folds all dimensions from dim[] into dimension dim[0].
fold(Manager, Var[]) - Method in class apron.Abstract1: Folds all variables var[i] into variable var[0].
fold(Manager, String[]) - Method in class apron.Abstract1
foldCopy(Manager, int[]) - Method in class apron.Abstract0: Returns a new element where all dimensions from dim[] are folded into dimension dim[0].
foldCopy(Manager, Var[]) - Method in class apron.Abstract1: Returns a new element where all the variables var[i] are folded into the variable var[0].
foldCopy(Manager, String[]) - Method in class apron.Abstract1
forget(Manager, int[], boolean) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) this after forgetting the value of the variables in dim.
forget(Manager, int, boolean) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) this after forgetting the value of the variable dim.
forget(Manager, Var[], boolean) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) this after forgetting the value of the variables in var.
forget(Manager, Var, boolean) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) this after forgetting the value of the variable var.
forget(Manager, String[], boolean) - Method in class apron.Abstract1
forget(Manager, String, boolean) - Method in class apron.Abstract1
forgetCopy(Manager, int[], boolean) - Method in class apron.Abstract0: Returns a new element containing (an over-approximation of) this after forgetting the value of the variables in dim.
forgetCopy(Manager, int, boolean) - Method in class apron.Abstract0: Returns a new element containing (an over-approximation of) this after forgetting the value of the variable dim.
forgetCopy(Manager, Var[], boolean) - Method in class apron.Abstract1: Returns a new element containing (an over-approximation of) this after forgetting the value of the variables in var.
forgetCopy(Manager, Var, boolean) - Method in class apron.Abstract1: Returns a new element containing (an over-approximation of) this after forgetting the value of the variable var.
forgetCopy(Manager, String[], boolean) - Method in class apron.Abstract1
forgetCopy(Manager, String, boolean) - Method in class apron.Abstract1
frac(Mpfr, int) - Method in class gmp.Mpfr: Stores into this, the fractional part of op with the same sign as op, and rounded.
freeCache() - Static method in class gmp.Mpfr: Free various caches used internally to compute functions and constants.
fromLinexpr0(Linexpr0) - Static method in class apron.Texpr0Node: Constructs an expression tree from a linear expression.
fromLinexpr1(Linexpr1) - Static method in class apron.Texpr1Node: Constructs an expression tree from a linear expression.
funid - Variable in exception class apron.ApronException: Identifier of the operation that caused the exception
FUNID_ADD_DIMENSIONS - Static variable in class apron.Manager
FUNID_ADD_RAY_ARRAY - Static variable in class apron.Manager
FUNID_APPROXIMATE - Static variable in class apron.Manager
FUNID_ASSIGN_LINEXPR_ARRAY - Static variable in class apron.Manager
FUNID_ASSIGN_TEXPR_ARRAY - Static variable in class apron.Manager
FUNID_BOTTOM - Static variable in class apron.Manager
FUNID_BOUND_DIMENSION - Static variable in class apron.Manager
FUNID_BOUND_LINEXPR - Static variable in class apron.Manager
FUNID_BOUND_TEXPR - Static variable in class apron.Manager
FUNID_CANONICALIZE - Static variable in class apron.Manager
FUNID_CLOSURE - Static variable in class apron.Manager
FUNID_COPY - Static variable in class apron.Manager
FUNID_DESERIALIZE_RAW - Static variable in class apron.Manager
FUNID_DIMENSION - Static variable in class apron.Manager
FUNID_EXPAND - Static variable in class apron.Manager
FUNID_FDUMP - Static variable in class apron.Manager
FUNID_FOLD - Static variable in class apron.Manager
FUNID_FORGET_ARRAY - Static variable in class apron.Manager
FUNID_FPRINT - Static variable in class apron.Manager
FUNID_FPRINTDIFF - Static variable in class apron.Manager
FUNID_FREE - Static variable in class apron.Manager
FUNID_HASH - Static variable in class apron.Manager
FUNID_IS_BOTTOM - Static variable in class apron.Manager
FUNID_IS_DIMENSION_UNCONSTRAINED - Static variable in class apron.Manager
FUNID_IS_EQ - Static variable in class apron.Manager
FUNID_IS_LEQ - Static variable in class apron.Manager
FUNID_IS_TOP - Static variable in class apron.Manager
FUNID_JOIN - Static variable in class apron.Manager
FUNID_JOIN_ARRAY - Static variable in class apron.Manager
FUNID_MEET - Static variable in class apron.Manager
FUNID_MEET_ARRAY - Static variable in class apron.Manager
FUNID_MEET_LINCONS_ARRAY - Static variable in class apron.Manager
FUNID_MEET_TCONS_ARRAY - Static variable in class apron.Manager
FUNID_MINIMIZE - Static variable in class apron.Manager
FUNID_OF_BOX - Static variable in class apron.Manager
FUNID_PERMUTE_DIMENSIONS - Static variable in class apron.Manager
FUNID_REMOVE_DIMENSIONS - Static variable in class apron.Manager
FUNID_SAT_INTERVAL - Static variable in class apron.Manager
FUNID_SAT_LINCONS - Static variable in class apron.Manager
FUNID_SAT_TCONS - Static variable in class apron.Manager
FUNID_SERIALIZE_RAW - Static variable in class apron.Manager
FUNID_SIZE - Static variable in class apron.Manager
FUNID_SUBSTITUTE_LINEXPR_ARRAY - Static variable in class apron.Manager
FUNID_SUBSTITUTE_TEXPR_ARRAY - Static variable in class apron.Manager
FUNID_TO_BOX - Static variable in class apron.Manager
FUNID_TO_GENERATOR_ARRAY - Static variable in class apron.Manager
FUNID_TO_LINCONS_ARRAY - Static variable in class apron.Manager
FUNID_TO_TCONS_ARRAY - Static variable in class apron.Manager
FUNID_TOP - Static variable in class apron.Manager
FUNID_WIDENING - Static variable in class apron.Manager

G

gamma(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the value of the Gamma function at op.
gcd(Mpz, int) - Method in class gmp.Mpz: Returns the greatest common divisor of op1 and op2.
gcd(Mpz, Mpz) - Method in class gmp.Mpz: Stores into this the greatest common divisor of op1 and op2.
gcd(Mpz, Mpz, Mpz, Mpz) - Method in class gmp.Mpz: Stores the greatest common divisor of op1 and op2 into this.
gen - Variable in class apron.Generator1: Level 0 generator.
Generator0 - Class in apron: Class of geometrical features of level 0 linear abstract elements.
Generator0(int, Linexpr0) - Constructor for class apron.Generator0: Creates a new generator of the given kind with the given coordinate.
Generator0(Generator0) - Constructor for class apron.Generator0: Creates a copy of g.
Generator1 - Class in apron: Class of geometrical features of level 1 linear abstract elements.
Generator1(int, Linexpr1) - Constructor for class apron.Generator1: Creates a new generator of the given kind.
Generator1(Environment, Generator0) - Constructor for class apron.Generator1: Creates a new Generator1 from a Generator0.
Generator1(Generator1) - Constructor for class apron.Generator1: Creates a copy of g.
get() - Method in class apron.DoubleScalar: Returns the underlying double.
get() - Method in class apron.MpfrScalar: Returns the underlying Mpfr.
get() - Method in class apron.MpqScalar: Returns the underlying Mpq.
getAbstract0(Manager) - Method in class apron.Abstract1: Returns a copy of the Abstract0 underlying this.
getAbstract0Ref() - Method in class apron.Abstract1: Returns a (read-only) reference to the Abstract0 underlying this.
getAlgorithm(int) - Method in class apron.Manager: Returns the current precision level chosen for the given operation (Manager.FUNID_COPY, etc.).
getArgument() - Method in class apron.Texpr0UnNode
getArgument() - Method in class apron.Texpr1UnNode
getBound(Manager, int) - Method in class apron.Abstract0: Returns (an over-approximation of) the set of values the variable dim can take on this.
getBound(Manager, Linexpr0) - Method in class apron.Abstract0: Returns (an over-approximation of) the set of values e can take on this.
getBound(Manager, Linexpr1) - Method in class apron.Abstract1: Returns (an over-approximation of) the set of values e can take on this.
getBound(Manager, Texpr0Intern) - Method in class apron.Abstract0: Returns (an over-approximation of) the set of values e can take on this.
getBound(Manager, Texpr1Intern) - Method in class apron.Abstract1: Returns (an over-approximation of) the set of values e can take on this.
getBound(Manager, Var) - Method in class apron.Abstract1: Returns (an over-approximation of) the set of values the variable var can take on this.
getBound(Manager, String) - Method in class apron.Abstract1
getCoeff(int) - Method in class apron.Lincons0: Returns a copy of the coefficient of dimension dim.
getCoeff(int) - Method in class apron.Linexpr0: Returns a copy of the coefficient of dimension dim.
getCoeff(Var) - Method in class apron.Lincons1: Returns a copy of the coefficient of variable var.
getCoeff(Var) - Method in class apron.Linexpr1: Returns a copy of the coefficient of variable var.
getCoeff(String) - Method in class apron.Linexpr1
getCoefficient() - Method in class apron.Linterm0
getCoefficient() - Method in class apron.Linterm1
getCoeffs() - Method in class apron.Lincons0: Returns a copy of all dimension coefficients.
getCoeffs() - Method in class apron.Lincons1: Returns a copy of all variable coefficients.
getCoeffs() - Method in class apron.Linexpr0: Returns a copy of all dimension coefficients.
getCoeffs() - Method in class apron.Linexpr1: Returns a copy of all variable coefficients.
getConstant() - Method in class apron.Texpr0CstNode
getConstant() - Method in class apron.Texpr1CstNode
getContents() - Method in class apron.Dimchange: Returns the position of the dimensions to be added or removed.
getContents() - Method in class apron.Dimperm: Returns the permutation map.
getCoordinate() - Method in class apron.Generator0
getCreationManager() - Method in class apron.Abstract0: Returns the Manager which was used to create the the abstract element.
getCreationManager() - Method in class apron.Abstract1: Returns the Manager which was used to create the the abstract element.
getCst() - Method in class apron.Lincons0: Returns a copy of the constant coefficient.
getCst() - Method in class apron.Lincons1: Returns the constant coefficient in the left member expression.
getCst() - Method in class apron.Linexpr0: Returns a copy of the constant coefficient.
getCst() - Method in class apron.Linexpr1: Returns a copy of the constant coefficient.
getDefaultPrec() - Static method in class gmp.Mpfr: Returns the default precision, in bits.
getDen() - Method in class gmp.Mpq: Returns a copy of the denominator of this.
getDepth() - Method in class apron.Tcons0: Returns the depth of the expression tree.
getDepth() - Method in class apron.Tcons1: Returns the depth of the expression tree.
getDepth() - Method in class apron.Texpr0BinNode
getDepth() - Method in class apron.Texpr0CstNode
getDepth() - Method in class apron.Texpr0DimNode
getDepth() - Method in class apron.Texpr0Intern: Returns the depth of the expression tree.
getDepth() - Method in class apron.Texpr0Node: Returns the depth of the expression tree.
getDepth() - Method in class apron.Texpr0UnNode
getDepth() - Method in class apron.Texpr1BinNode
getDepth() - Method in class apron.Texpr1CstNode
getDepth() - Method in class apron.Texpr1Intern: Returns the depth of the expression tree.
getDepth() - Method in class apron.Texpr1Node: Returns the depth of the expression tree.
getDepth() - Method in class apron.Texpr1UnNode
getDepth() - Method in class apron.Texpr1VarNode
getDimension() - Method in class apron.Dimchange: Returns the number of integer-valued and real-valued variables to be added or removed.
getDimension() - Method in class apron.Environment: Returns the number of integer-valued and real-valued variables in the environment.
getDimension() - Method in class apron.Linterm0
getDimension() - Method in class apron.Texpr0DimNode
getDimension(Manager) - Method in class apron.Abstract0: Returns the number of integer-valued and real-valued dimensions in the element.
getDims() - Method in class apron.Tcons0: Returns an ordered list of all occurring dimensions.
getDims() - Method in class apron.Texpr0Intern: Returns an ordered list of all occurring dimensions.
getDims() - Method in class apron.Texpr0Node: Returns an ordered list of all occurring dimensions.
getElem(int) - Method in class apron.Dimperm: Gets the variable index i is mapped to.
getEmax() - Static method in class gmp.Mpfr: Returns the current largest exponent allowed for a floating-point variable.
getEmaxMax() - Static method in class gmp.Mpfr: Returns the largest value allowed in Mpfr.setEmax(long).
getEmaxMin() - Static method in class gmp.Mpfr: Returns the smallest value allowed in Mpfr.setEmax(long).
getEmin() - Static method in class gmp.Mpfr: Returns the current smallest exponent allowed for a floating-point variable.
getEminMax() - Static method in class gmp.Mpfr: Returns the largest value allowed in Mpfr.setEmin(long).
getEminMin() - Static method in class gmp.Mpfr: Returns the smallest value allowed in Mpfr.setEmin(long).
getEnvironment() - Method in class apron.Abstract1: Returns the environment of the abstract element.
getEnvironment() - Method in class apron.Generator1: Returns the environment of the generator.
getEnvironment() - Method in class apron.Lincons1: Returns the environment of the constraint.
getEnvironment() - Method in class apron.Linexpr1: Returns the environment of the expression.
getEnvironment() - Method in class apron.Tcons1: Returns the environment of the constraint.
getEnvironment() - Method in class apron.Texpr1Intern: Returns the environment of the expression.
getExp() - Method in class gmp.Mpfr: Returns the exponent of this.
getExpression() - Method in class apron.Lincons0: Returns the left expression.
getExpression() - Method in class apron.Tcons0: Returns the left expression.
getFlagBestWanted(int) - Method in class apron.Manager: Whether the given operation updates the best-precision flag (Manager.FUNID_COPY, etc.).
getFlagExactWanted(int) - Method in class apron.Manager: Whether the given operation updates the exactness flag (Manager.FUNID_COPY, etc.)..
getFunctionID() - Method in exception class apron.ApronException
getGenerator0() - Method in class apron.Generator1: Returns a copy of the Generator0 underlying this generator.
getGenerator0Ref() - Method in class apron.Generator1: Returns a (read-only) reference to the Generator0 underlying this generator.
getIntegerDimension() - Method in class apron.Dimension
getIntVars() - Method in class apron.Environment: Returns the set of integer-valued variable names, ordered in lexical order.
getKind() - Method in class apron.Generator0
getKind() - Method in class apron.Lincons0: Returns the constraint kind.
getKind() - Method in class apron.Lincons1: Returns the constraint kind.
getKind() - Method in class apron.Pplite
getKind() - Method in class apron.Tcons0: Returns the constraint kind.
getKind() - Method in class apron.Tcons1: Returns the constraint kind.
getLeftArgument() - Method in class apron.Texpr0BinNode
getLeftArgument() - Method in class apron.Texpr1BinNode
getLibrary() - Method in class apron.Manager: Returns the name of the numerical abstract domain library that created the manager.
getLincons0() - Method in class apron.Lincons1: Returns a copy of the Lincons0 underlying the constraint.
getLincons0Ref() - Method in class apron.Lincons1: Returns a (read-only) reference to the Lincons0 underlying this constraint.
getLinexpr0() - Method in class apron.Linexpr1: Returns a copy of the Linexpr0 underlying this expression.
getLinexpr0Ref() - Method in class apron.Linexpr1: Returns a (read-only) reference to the Linexpr0 underlying this expression.
getLinterms() - Method in class apron.Lincons0: Returns a copy of all dimension coefficients.
getLinterms() - Method in class apron.Lincons1: Returns a copy of all variable coefficients.
getLinterms() - Method in class apron.Linexpr0: Returns a copy of all dimensions coefficients.
getLinterms() - Method in class apron.Linexpr1: Gets a copy of all variable coefficients.
getManager() - Method in exception class apron.ApronException
getMaxObjectSize(int) - Method in class apron.Manager: Returns the memory size limit chosen for the given operation (Manager.FUNID_COPY, etc.).
getNum() - Method in class gmp.Mpq: Returns a copy of the numerator of this.
getNumDisjuncts(Abstract0) - Method in class apron.Pplite: Returns the number of disjuncts in a
getOperation() - Method in class apron.Texpr0BinNode
getOperation() - Method in class apron.Texpr0UnNode
getOperation() - Method in class apron.Texpr1BinNode
getOperation() - Method in class apron.Texpr1UnNode
getPatches() - Static method in class gmp.Mpfr: Returns the ids of the patches applied to the MPFR library.
getPrec() - Method in class gmp.Mpfr: Returns the precision of this, in bits.
getPrecedence() - Method in class apron.Texpr0BinNode
getPrecedence() - Method in class apron.Texpr0CstNode
getPrecedence() - Method in class apron.Texpr0DimNode
getPrecedence() - Method in class apron.Texpr0Node: Precedence of the node, used when printing.
getPrecedence() - Method in class apron.Texpr0UnNode
getPrecedence() - Method in class apron.Texpr1BinNode
getPrecedence() - Method in class apron.Texpr1CstNode
getPrecedence() - Method in class apron.Texpr1Node: Precedence of the node, used when printing.
getPrecedence() - Method in class apron.Texpr1UnNode
getPrecedence() - Method in class apron.Texpr1VarNode
getPreferedScalarType() - Method in class apron.Manager: Gets the currently chosen preferred scalar type (Manager.SCALAR_DOUBLE, etc.).
getRealDimension() - Method in class apron.Dimension
getRealVars() - Method in class apron.Environment: Returns the set of real-valued variable names, ordered in lexical order.
getRightArgument() - Method in class apron.Texpr0BinNode
getRightArgument() - Method in class apron.Texpr1BinNode
getRoundingDirection() - Method in class apron.Texpr0BinNode
getRoundingDirection() - Method in class apron.Texpr0UnNode
getRoundingDirection() - Method in class apron.Texpr1BinNode
getRoundingDirection() - Method in class apron.Texpr1UnNode
getRoundingType() - Method in class apron.Texpr0BinNode
getRoundingType() - Method in class apron.Texpr0UnNode
getRoundingType() - Method in class apron.Texpr1BinNode
getRoundingType() - Method in class apron.Texpr1UnNode
getScalar() - Method in class apron.Lincons0: Returns the optional modulo factor (may be null).
getScalar() - Method in class apron.Lincons1: Returns the optional modulo factor (may be null).
getScalar() - Method in class apron.Tcons0: Returns the optional modulo factor (may be null).
getScalar() - Method in class apron.Tcons1: Returns the optional modulo factor (may be null).
getSize() - Method in class apron.Dimperm: Returns the number of elements in this permutation.
getSize() - Method in class apron.Environment: Returns the total number of variables in the environment.
getSize() - Method in class apron.Lincons0: Returns the size of the constraint.
getSize() - Method in class apron.Linexpr0: Returns the size of the Linexpr0.
getSize() - Method in class apron.Tcons0: Returns the number of internal nodes in the tree.
getSize() - Method in class apron.Tcons1: Returns the number of internal nodes in the tree.
getSize() - Method in class apron.Texpr0BinNode
getSize() - Method in class apron.Texpr0CstNode
getSize() - Method in class apron.Texpr0DimNode
getSize() - Method in class apron.Texpr0Intern: Returns the number of internal nodes in the tree.
getSize() - Method in class apron.Texpr0Node: Returns the number of internal nodes in the tree.
getSize() - Method in class apron.Texpr0UnNode
getSize() - Method in class apron.Texpr1BinNode
getSize() - Method in class apron.Texpr1CstNode
getSize() - Method in class apron.Texpr1Intern: Returns the number of internal nodes in the tree.
getSize() - Method in class apron.Texpr1Node: Returns the number of internal nodes in the tree.
getSize() - Method in class apron.Texpr1UnNode
getSize() - Method in class apron.Texpr1VarNode
getSize(Manager) - Method in class apron.Abstract0: Returns the size in memory of the abstract element.
getSize(Manager) - Method in class apron.Abstract1: Returns the size in memory of the abstract element.
getTcons0() - Method in class apron.Tcons1: Returns a copy of the Tcons0 underlying the constraint.
getTcons0Ref() - Method in class apron.Tcons1: Returns a (read-only) reference to the Tcons0 underlying this constraint.
getTexpr0Intern() - Method in class apron.Texpr1Intern: Returns a copy of the Texpr0Intern underlying this expression.
getTexpr0InternRef() - Method in class apron.Texpr1Intern: Returns a (read-only) reference to the Texpr0Intern underlying this expression.
getTimeout(int) - Method in class apron.Manager: Returns the current timeout value chosen for the given operation (Manager.FUNID_COPY, etc.).
getVariable() - Method in class apron.Linterm1
getVariable() - Method in class apron.Texpr1VarNode
getVars() - Method in class apron.Environment: Returns the set of all variables, ordered by dimension.
getVars() - Method in class apron.Tcons1: Returns the list of all occurring variables.
getVars() - Method in class apron.Texpr1Intern: Returns the list of all occurring variables.
getVars() - Method in class apron.Texpr1Node: Returns the list of all occurring variables.
getVersion() - Method in class apron.Manager: Returns the version of the numerical abstract domain library that created the manager.
getVersion() - Static method in class gmp.Mpfr: Returns the MPFR version.
getWidenSpec() - Method in class apron.Pplite
gmp - package gmp: Java binding for the GNU Multiple Precision Arithmetic Library (GMP) and the Multiple Precision Floating-Point Reliable Library (MPFR).

H

hamDist(Mpz) - Method in class gmp.Mpz: Returns the Hamming distance between this and op.
hasDim(int) - Method in class apron.Tcons0: Whether the dimension dim is present.
hasDim(int) - Method in class apron.Texpr0BinNode
hasDim(int) - Method in class apron.Texpr0CstNode
hasDim(int) - Method in class apron.Texpr0DimNode
hasDim(int) - Method in class apron.Texpr0Intern: Whether the dimension dim is present.
hasDim(int) - Method in class apron.Texpr0Node: Whether the dimension dim is present.
hasDim(int) - Method in class apron.Texpr0UnNode
hashCode() - Method in class apron.Coeff: Returns a hash of the value of this.
hashCode() - Method in class apron.DoubleScalar: Returns a hash of the value of this.
hashCode() - Method in class apron.Environment: Returns a hash of the environment.
hashCode() - Method in class apron.Generator0: Returns a hash of the generator.
hashCode() - Method in class apron.Generator1: Returns a hash of the generator.
hashCode() - Method in class apron.Interval: Returns a hash made from both bounds.
hashCode() - Method in class apron.Lincons0: Returns a hash of the constraint.
hashCode() - Method in class apron.Lincons1: Returns a hash of the constraint.
hashCode() - Method in class apron.Linexpr0: Returns a hash of the expression.
hashCode() - Method in class apron.Linexpr1: Returns a hash of the expression.
hashCode() - Method in class apron.MpfrScalar: Returns a hash of the value of this.
hashCode() - Method in class apron.MpqScalar: Returns a hash of the value of this.
hashCode() - Method in class apron.Scalar: Returns a hash of the value of this.
hashCode() - Method in class apron.StringVar
hashCode() - Method in class apron.Tcons0: Returns a hash of the constraint.
hashCode() - Method in class apron.Tcons1: Returns a hash of the constraint.
hashCode() - Method in class apron.Texpr0BinNode
hashCode() - Method in class apron.Texpr0CstNode
hashCode() - Method in class apron.Texpr0DimNode
hashCode() - Method in class apron.Texpr0Intern: Recursive hashing.
hashCode() - Method in class apron.Texpr0Node: Recursive hashing.
hashCode() - Method in class apron.Texpr0UnNode
hashCode() - Method in class apron.Texpr1BinNode
hashCode() - Method in class apron.Texpr1CstNode
hashCode() - Method in class apron.Texpr1Intern: Recursive hashing.
hashCode() - Method in class apron.Texpr1Node: Recursive hashing.
hashCode() - Method in class apron.Texpr1UnNode
hashCode() - Method in class apron.Texpr1VarNode
hashCode() - Method in class gmp.Mpfr: Returns a hash of the value of this.
hashCode() - Method in class gmp.Mpq: Returns a hash of the value of this.
hashCode() - Method in class gmp.Mpz: Returns a hash of the value of this.
hashCode(Manager) - Method in class apron.Abstract0: Returns a hash of the element value.
hashCode(Manager) - Method in class apron.Abstract1: Returns a hash of the element value.
hasVar(Var) - Method in class apron.Environment: Whether a variable named var exists in the environment.
hasVar(Var) - Method in class apron.Tcons1: Whether the variable var is present.
hasVar(Var) - Method in class apron.Texpr1BinNode
hasVar(Var) - Method in class apron.Texpr1CstNode
hasVar(Var) - Method in class apron.Texpr1Intern: Whether the variable var is present.
hasVar(Var) - Method in class apron.Texpr1Node: Whether the variable var occurs in the tree.
hasVar(Var) - Method in class apron.Texpr1UnNode
hasVar(Var) - Method in class apron.Texpr1VarNode
hasVar(String) - Method in class apron.Environment
hasVar(String) - Method in class apron.Tcons1
hasVar(String) - Method in class apron.Texpr1Intern
hasVar(String) - Method in class apron.Texpr1Node
hypot(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to the Euclidean norm of x and y.

I

inf - Variable in class apron.Interval: (Mutable) lower bound.
inf() - Method in class apron.Coeff: Returns a reference to the lower bound of this.
inf() - Method in class apron.Interval: Returns a reference to the lower bound of this.
inf() - Method in class apron.Scalar: Returns a reference to the lower bound of this, i.e., this itself.
infinite - Static variable in class gmp.Mpz: This value can be returned by bit-searching or bit-counting operations.
intDim - Variable in class apron.Dimension: Number of integer-valued dimensions.
Interval - Class in apron: Class of intervals of reals, denoted by a lower and an upper Scalar bound.
Interval() - Constructor for class apron.Interval: Creates a new interval set to [0, 0], with double bounds.
Interval(double, double) - Constructor for class apron.Interval: Creates an interval [i, s] with double bounds.
Interval(int, int) - Constructor for class apron.Interval: Creates an interval [i, s] with Mpq bounds.
Interval(int, int, int, int) - Constructor for class apron.Interval: Creates an interval [inum/iden, snum/sden] with Mpq bounds.
Interval(Interval) - Constructor for class apron.Interval: Creates a copy of the interval i.
Interval(Scalar, Scalar) - Constructor for class apron.Interval: Creates a new interval [i, s].
Interval(Mpfr, Mpfr) - Constructor for class apron.Interval: Creates an interval [i, s] with Mpfr bounds (copied).
Interval(Mpq, Mpq) - Constructor for class apron.Interval: Creates an interval [i, s] with Mpq bounds (copied).
Interval(Mpz, Mpz) - Constructor for class apron.Interval: Creates an interval [i, s] with Mpq bounds.
Interval(Mpz, Mpz, Mpz, Mpz) - Constructor for class apron.Interval: Creates an interval [inum/iden, snum/sden] with Mpq bounds.
Interval(BigInteger, BigInteger) - Constructor for class apron.Interval: Creates an interval [i, s] with Mpq bounds.
Interval(BigInteger, BigInteger, BigInteger, BigInteger) - Constructor for class apron.Interval: Creates an interval [inum/iden, snum/sden] with Mpq bounds.
intValue() - Method in class gmp.Mpz: Returns this as an integer.
intValue(int) - Method in class gmp.Mpfr: Returns this as an integer (with rounding).
inv() - Method in class apron.DoubleScalar: Inverts this (with rounding).
inv() - Method in class apron.MpfrScalar: Inverts this (with rounding).
inv() - Method in class apron.MpqScalar: Inverts this (exact).
inv() - Method in class apron.Scalar: Inverts this.
inv() - Method in class gmp.Mpq: Replaces this with 1/this.
inv(Mpq) - Method in class gmp.Mpq: Stores 1/arg into this.
invert() - Method in class apron.Dimperm: Returns a new permutation which is the inverse of this.
invert(Mpz, Mpz) - Method in class gmp.Mpz: Stores the inverse of op1 modulo op2 into this.
isBottom() - Method in class apron.Interval: Whether this represents an empty interval.
isBottom(Manager) - Method in class apron.Abstract0: Whether the element is definitely empty (true) or maybe not empty (false).
isBottom(Manager) - Method in class apron.Abstract1: Whether the element is definitely empty (true) or maybe not empty (false).
isCongruent(int, int) - Method in class gmp.Mpz: Returns true if this equals c modulo d.
isCongruent(Mpz, Mpz) - Method in class gmp.Mpz: Returns true if this equals c modulo d.
isCongruent2exp(Mpz, int) - Method in class gmp.Mpz: Returns true if this equals c modulo 2^d.
isDimensionUnconstrained(Manager, int) - Method in class apron.Abstract0: Whether the dimension dim is definitely unbounded in this (true) or may be bounded (false).
isDimensionUnconstrained(Manager, Var) - Method in class apron.Abstract1: Whether the variable var is definitely unbounded in this (true) or may be bounded (false).
isDimensionUnconstrained(Manager, String) - Method in class apron.Abstract1
isDisjunctive(Abstract0) - Method in class apron.Pplite: Returns true if a is a disjunctive abstract element
isDivisible(int) - Method in class gmp.Mpz: Returns true if d divides this.
isDivisible(Mpz) - Method in class gmp.Mpz: Returns true if d divides this.
isDivisible2exp(int) - Method in class gmp.Mpz: Returns true if 2^d divides this.
isEqual(int) - Method in class apron.Coeff: Whether this represents the singleton i.
isEqual(int) - Method in class apron.DoubleScalar: Whether this and x have the same value.
isEqual(int) - Method in class apron.Interval: Whether this equals the singleton i.
isEqual(int) - Method in class apron.MpfrScalar: Whether this and x have the same value.
isEqual(int) - Method in class apron.MpqScalar: Whether this and x have the same value.
isEqual(int) - Method in class apron.Scalar: Whether this and x have the same value.
isEqual(Coeff) - Method in class apron.Coeff: Whether this equals x.
isEqual(Coeff) - Method in class apron.Interval: Whether this equals x.
isEqual(Coeff) - Method in class apron.Scalar: Whether this equals x.
isEqual(Dimchange) - Method in class apron.Dimchange: Whether x is equal to this.
isEqual(Dimension) - Method in class apron.Dimension: Whether x is equal to this.
isEqual(Dimperm) - Method in class apron.Dimperm: Whether x is equal to this.
isEqual(DoubleScalar) - Method in class apron.DoubleScalar: Whether this and x have the same value.
isEqual(Environment) - Method in class apron.Environment: Whether this and e are equal.
isEqual(Generator0) - Method in class apron.Generator0: Whether this and x have identical coordinate.
isEqual(Generator1) - Method in class apron.Generator1: Whether this and x have identical coordinate and environment.
isEqual(Interval) - Method in class apron.Interval: Whether this and x are equal.
isEqual(Lincons0) - Method in class apron.Lincons0: Whether this and x have identical kinds and coefficients.
isEqual(Lincons1) - Method in class apron.Lincons1: Whether this and x have identical kinds and coefficients.
isEqual(Linexpr0) - Method in class apron.Linexpr0: Whether this and x have identical coefficients.
isEqual(Linexpr1) - Method in class apron.Linexpr1: Whether this and x have identical coefficients and environment.
isEqual(Linterm0) - Method in class apron.Linterm0: Whether x and this are structurally equal.
isEqual(Linterm1) - Method in class apron.Linterm1: Whether x and this are structurally equal.
isEqual(Manager, Abstract0) - Method in class apron.Abstract0: Whether this is definitely equal to x (true) or maybe not equal (false).
isEqual(Manager, Abstract1) - Method in class apron.Abstract1: Whether this is definitely equal to x (true) or maybe not equal (false).
isEqual(MpfrScalar) - Method in class apron.MpfrScalar: Whether this and x have the same value.
isEqual(MpqScalar) - Method in class apron.MpqScalar: Whether this and x have the same value.
isEqual(Scalar) - Method in class apron.DoubleScalar: Whether this and x have the same value.
isEqual(Scalar) - Method in class apron.MpfrScalar: Whether this and x have the same value.
isEqual(Scalar) - Method in class apron.MpqScalar: Whether this and x have the same value.
isEqual(Scalar) - Method in class apron.Scalar: Whether this and x have the same value.
isEqual(Tcons0) - Method in class apron.Tcons0: Whether x and this are structurally equal.
isEqual(Tcons1) - Method in class apron.Tcons1: Whether x and this are structurally equal.
isEqual(Texpr0Intern) - Method in class apron.Texpr0Intern: Structural (recursive) equality.
isEqual(Texpr0Node) - Method in class apron.Texpr0BinNode
isEqual(Texpr0Node) - Method in class apron.Texpr0CstNode
isEqual(Texpr0Node) - Method in class apron.Texpr0DimNode
isEqual(Texpr0Node) - Method in class apron.Texpr0Node: Structural (recursive) equality.
isEqual(Texpr0Node) - Method in class apron.Texpr0UnNode
isEqual(Texpr1Intern) - Method in class apron.Texpr1Intern: Structural (recursive) equality.
isEqual(Texpr1Node) - Method in class apron.Texpr1BinNode
isEqual(Texpr1Node) - Method in class apron.Texpr1CstNode
isEqual(Texpr1Node) - Method in class apron.Texpr1Node: Structural (recursive) equality.
isEqual(Texpr1Node) - Method in class apron.Texpr1UnNode
isEqual(Texpr1Node) - Method in class apron.Texpr1VarNode
isEqual(Mpfr) - Method in class gmp.Mpfr: Whether this == op.
isEqual(Mpq) - Method in class gmp.Mpq: Whether this equals op.
isEqual(Mpz) - Method in class gmp.Mpz: Whether this and x have the same value.
isERangeFlag() - Static method in class gmp.Mpfr: Returns the erange (invalid range) flag.
isEven() - Method in class gmp.Mpz: Whether this is even.
isGeomSubsetEq(Abstract0, Abstract0) - Method in class apron.Pplite: Geometric inclusion test
isGreater(Mpfr) - Method in class gmp.Mpfr: Whether this > op.
isGreaterEqual(Mpfr) - Method in class gmp.Mpfr: Whether this >= op.
isIncluded(Environment) - Method in class apron.Environment: Whether this is a subset of e.
isIncluded(Manager, Abstract0) - Method in class apron.Abstract0: Whether this is definitely included in x (true) or maybe not included (false).
isIncluded(Manager, Abstract1) - Method in class apron.Abstract1: Whether this is definitely included in x (true) or maybe not included (false).
isInexFlag() - Static method in class gmp.Mpfr: Returns the inexact flag.
isInf() - Method in class gmp.Mpfr: Returns true if this is an infinity.
isInfty() - Method in class apron.DoubleScalar: Returns -1, 0 or 1 if this is respectively -oo, finite, or +oo.
isInfty() - Method in class apron.MpfrScalar: Returns -1, 0 or 1 if this is respectively -oo, finite, or +oo.
isInfty() - Method in class apron.MpqScalar: Returns -1, 0 or 1 if this is respectively -oo, finite, or +oo.
isInfty() - Method in class apron.Scalar: Returns -1, 0 or 1 if this is respectively -oo, finite, or +oo.
isInt(int) - Method in class apron.Environment: Whether the given dimension is integer-valued.
isInt(Var) - Method in class apron.Environment: Whether the given variable is integer-valued.
isInt(String) - Method in class apron.Environment
isInteger() - Method in class apron.Lincons1: Whether the constraint only depends on integer-valued variables.
isInteger() - Method in class apron.Linexpr1: Whether the expression only depends on integer-valued variables.
isInteger() - Method in class gmp.Mpfr: Whether this is an integer.
isInteger(int) - Method in class apron.Lincons0: Whether the constraint only depends on the integer-valued dimensions (dimensions 0 to intdim-1).
isInteger(int) - Method in class apron.Linexpr0: Whether the expression only depends on the integer-valued dimensions (dimensions 0 to intdim-1).
isIntervalCst() - Method in class apron.Tcons0: Whether the expression is constant.
isIntervalCst() - Method in class apron.Tcons1: Whether the expression is constant.
isIntervalCst() - Method in class apron.Texpr0BinNode
isIntervalCst() - Method in class apron.Texpr0CstNode
isIntervalCst() - Method in class apron.Texpr0DimNode
isIntervalCst() - Method in class apron.Texpr0Intern: Whether the expression is constant.
isIntervalCst() - Method in class apron.Texpr0Node: Whether the expression is constant.
isIntervalCst() - Method in class apron.Texpr0UnNode
isIntervalCst() - Method in class apron.Texpr1BinNode
isIntervalCst() - Method in class apron.Texpr1CstNode
isIntervalCst() - Method in class apron.Texpr1Intern: Whether the expression is constant.
isIntervalCst() - Method in class apron.Texpr1Node: Whether the expression is constant.
isIntervalCst() - Method in class apron.Texpr1UnNode
isIntervalCst() - Method in class apron.Texpr1VarNode
isIntervalLinear() - Method in class apron.Tcons0: Whether the expression is linear with interval or scalar coefficients, and there is no rounding.
isIntervalLinear() - Method in class apron.Tcons1: Whether the expression is linear with interval or scalar coefficients, and there is no rounding.
isIntervalLinear() - Method in class apron.Texpr0BinNode
isIntervalLinear() - Method in class apron.Texpr0CstNode
isIntervalLinear() - Method in class apron.Texpr0DimNode
isIntervalLinear() - Method in class apron.Texpr0Intern: Whether the expression is linear with interval or scalar coefficients, and there is no rounding.
isIntervalLinear() - Method in class apron.Texpr0Node: Whether the expression is linear with interval or scalar coefficients, and there is no rounding.
isIntervalLinear() - Method in class apron.Texpr0UnNode
isIntervalLinear() - Method in class apron.Texpr1BinNode
isIntervalLinear() - Method in class apron.Texpr1CstNode
isIntervalLinear() - Method in class apron.Texpr1Intern: Whether the expression is linear with interval or scalar coefficients, and there is no rounding.
isIntervalLinear() - Method in class apron.Texpr1Node: Whether the expression is linear with interval or scalar coefficients, and there is no rounding.
isIntervalLinear() - Method in class apron.Texpr1UnNode
isIntervalLinear() - Method in class apron.Texpr1VarNode
isIntervalPolyfrac() - Method in class apron.Tcons0: Whether the expression is a polynomial fraction, with interval or scalar coefficients, and there is no rounding.
isIntervalPolyfrac() - Method in class apron.Tcons1: Whether the expression is a polynomial fraction, with interval or scalar coefficients, and there is no rounding.
isIntervalPolyfrac() - Method in class apron.Texpr0BinNode
isIntervalPolyfrac() - Method in class apron.Texpr0CstNode
isIntervalPolyfrac() - Method in class apron.Texpr0DimNode
isIntervalPolyfrac() - Method in class apron.Texpr0Intern: Whether the expression is a polynomial fraction, with interval or scalar coefficients, and there is no rounding.
isIntervalPolyfrac() - Method in class apron.Texpr0Node: Whether the expression is a polynomial fraction, with interval or scalar coefficients, and there is no rounding.
isIntervalPolyfrac() - Method in class apron.Texpr0UnNode
isIntervalPolyfrac() - Method in class apron.Texpr1BinNode
isIntervalPolyfrac() - Method in class apron.Texpr1CstNode
isIntervalPolyfrac() - Method in class apron.Texpr1Intern: Whether the expression is a polynomial fraction, with interval or scalar coefficients, and there is no rounding.
isIntervalPolyfrac() - Method in class apron.Texpr1Node: Whether the expression is a polynomial fraction, with interval or scalar coefficients, and there is no rounding.
isIntervalPolyfrac() - Method in class apron.Texpr1UnNode
isIntervalPolyfrac() - Method in class apron.Texpr1VarNode
isIntervalPolynomial() - Method in class apron.Tcons0: Whether the expression is polynomial, with interval or scalar coefficients, and there is no rounding.
isIntervalPolynomial() - Method in class apron.Tcons1: Whether the expression is polynomial, with interval or scalar coefficients, and there is no rounding.
isIntervalPolynomial() - Method in class apron.Texpr0BinNode
isIntervalPolynomial() - Method in class apron.Texpr0CstNode
isIntervalPolynomial() - Method in class apron.Texpr0DimNode
isIntervalPolynomial() - Method in class apron.Texpr0Intern: Whether the expression is polynomial, with interval or scalar coefficients, and there is no rounding.
isIntervalPolynomial() - Method in class apron.Texpr0Node: Whether the expression is polynomial, with interval or scalar coefficients, and there is no rounding.
isIntervalPolynomial() - Method in class apron.Texpr0UnNode
isIntervalPolynomial() - Method in class apron.Texpr1BinNode
isIntervalPolynomial() - Method in class apron.Texpr1CstNode
isIntervalPolynomial() - Method in class apron.Texpr1Intern: Whether the expression is polynomial, with interval or scalar coefficients, and there is no rounding.
isIntervalPolynomial() - Method in class apron.Texpr1Node: Whether the expression is polynomial, with interval or scalar coefficients, and there is no rounding.
isIntervalPolynomial() - Method in class apron.Texpr1UnNode
isIntervalPolynomial() - Method in class apron.Texpr1VarNode
isLeq(Interval) - Method in class apron.Interval: Whether this is included in x.
isLess(Mpfr) - Method in class gmp.Mpfr: Whether this < op.
isLessEqual(Mpfr) - Method in class gmp.Mpfr: Whether this <= op.
isLessGreater(Mpfr) - Method in class gmp.Mpfr: Whether this < op or this > op.
isLinear() - Method in class apron.Lincons0: Whether the constraint has only scalar coefficients.
isLinear() - Method in class apron.Lincons1: Whether the constraint has only scalar coefficients.
isLinear() - Method in class apron.Linexpr0: Whether the expression has only scalar coefficients.
isLinear() - Method in class apron.Linexpr1: Whether the expression has only scalar coefficients.
isNaN() - Method in class gmp.Mpfr: Returns true if this is a NaN.
isNaNFlag() - Static method in class gmp.Mpfr: Returns the invalid flag.
isNumber() - Method in class gmp.Mpfr: Returns true if this is a regular number (non-infinity or NaN).
isOdd() - Method in class gmp.Mpz: Whether this is odd.
isOverflow() - Static method in class gmp.Mpfr: Returns the overflow flag.
isPerfectPower() - Method in class gmp.Mpz: Returns true if this has the form a^b for some a and b > 1.
isPerfectSquare() - Method in class gmp.Mpz: Returns true if this has the form a^2 for some a.
isPhysicalEqual(Mpfr) - Method in class gmp.Mpfr: Whether this and x have the same address in memory.
isPhysicalEqual(Mpq) - Method in class gmp.Mpq: Whether this and x have the same address in memory.
isPhysicalEqual(Mpz) - Method in class gmp.Mpz: Whether this and x have the same address in memory.
isProbabPrime(int) - Method in class gmp.Mpz: Returns 2 if this is definitely prime, 1 if it is probably prime, and 0 if it is definitely composite.
isQuasilinear() - Method in class apron.Lincons0: Whether the constraint has only scalar coefficients, except maybe for the constant coefficient.
isQuasilinear() - Method in class apron.Lincons1: Whether the constraint has only scalar coefficients, except maybe for the constant coefficient.
isQuasilinear() - Method in class apron.Linexpr0: Whether the expression has only scalar coefficients, except maybe for the constant coefficient.
isQuasilinear() - Method in class apron.Linexpr1: Whether the expression has only scalar coefficients, except maybe for the constant coefficient.
isReal() - Method in class apron.Lincons1: Whether the constraint only depends on real-valued variables.
isReal() - Method in class apron.Linexpr1: Whether the expression only depends on real-valued variables.
isReal(int) - Method in class apron.Lincons0: Whether the constraint only depends on real-valued dimensions (dimensions intdim and greater).
isReal(int) - Method in class apron.Linexpr0: Whether the expression only depends on real-valued dimensions (dimensions intdim and greater).
isScalar() - Method in class apron.Coeff: Whether this represents a singleton.
isScalar() - Method in class apron.Interval: Whether this represents a singleton.
isScalar() - Method in class apron.Scalar: Whether this represents a singleton.
isScalar() - Method in class apron.Tcons0: Whether all coefficients are scalar (non interval).
isScalar() - Method in class apron.Tcons1: Whether all coefficients are scalar (non interval).
isScalar() - Method in class apron.Texpr0BinNode
isScalar() - Method in class apron.Texpr0CstNode
isScalar() - Method in class apron.Texpr0DimNode
isScalar() - Method in class apron.Texpr0Intern: Whether all coefficients are scalar (non interval).
isScalar() - Method in class apron.Texpr0Node: Whether all coefficients are scalar (non interval).
isScalar() - Method in class apron.Texpr0UnNode
isScalar() - Method in class apron.Texpr1BinNode
isScalar() - Method in class apron.Texpr1CstNode
isScalar() - Method in class apron.Texpr1Intern: Whether all coefficients are scalar (non interval).
isScalar() - Method in class apron.Texpr1Node: Whether all coefficients are scalar (non interval).
isScalar() - Method in class apron.Texpr1UnNode
isScalar() - Method in class apron.Texpr1VarNode
isSparse() - Method in class apron.Lincons0: Whether the underlying expression is sparse or dense.
isSparse() - Method in class apron.Lincons1: Whether the constraint is sparse or dense.
isSparse() - Method in class apron.Linexpr0: Whether the Linexpr0 is sparse or dense.
isSparse() - Method in class apron.Linexpr1: Whether the expression is sparse or dense.
isTop() - Method in class apron.Interval: Whether this represents [-oo, +oo].
isTop(Manager) - Method in class apron.Abstract0: Whether the element is definitely universal (true) or maybe not universal (false).
isTop(Manager) - Method in class apron.Abstract1: Whether the element is definitely universal (true) or maybe not universal (false).
isUnderflow() - Static method in class gmp.Mpfr: Returns the underflow flag.
isUnordered(Mpfr) - Method in class gmp.Mpfr: Whether this or op is a NaN.
isUnsat() - Method in class apron.Lincons0: Whether the constraint is trivially unsatisfiable.
isUnsat() - Method in class apron.Lincons1: Whether the constraint is trivially unsatisfiable.
isZero() - Method in class apron.Coeff: Whether this represents the singleton 0.
isZero() - Method in class apron.DoubleScalar: Whether this equals 0.
isZero() - Method in class apron.Interval: Whether this represents the singleton [0, 0].
isZero() - Method in class apron.MpfrScalar: Whether this equals 0.
isZero() - Method in class apron.MpqScalar: Whether this equals 0.
isZero() - Method in class apron.Scalar: Whether this equals 0.
isZero() - Method in class gmp.Mpfr: Returns true if this is +0 or -0.

J

j0(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the value of the first kind Bessel function of order 0 at op.
j1(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the value of the first kind Bessel function of order 1 at op.
jacobi(Mpz, Mpz) - Static method in class gmp.Mpz: Returns the Jacobi symbol of a and b.
jn(int, Mpfr, int) - Method in class gmp.Mpfr: Sets this to the value of the first kind Bessel function of order n at op.
join(Manager, Abstract0) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) the set-union of this and op.
join(Manager, Abstract0[]) - Static method in class apron.Abstract0: Returns a new abstract element that contains (an over-approximation of) the set-union of the elements in ar.
join(Manager, Abstract1) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) the set-union of this and op.
join(Manager, Abstract1[]) - Static method in class apron.Abstract1: Returns a new abstract element that contains (an over-approximation of) the set-union of the elements in ar.
joinCopy(Manager, Abstract0) - Method in class apron.Abstract0: Returns a new abstract element that contains (an over-approximation of) the set-union of this and op.
joinCopy(Manager, Abstract1) - Method in class apron.Abstract1: Returns a new abstract element that contains (an over-approximation of) the set-union of this and op.

K

kind - Variable in class apron.Generator0: Kind of generator: Generator0.LINE, Generator0.RAY, Generator0.VERTEX, Generator0.LINEMOD, or Generator0.RAYMOD.
kind - Variable in class apron.Lincons0: Kind of constraint: Lincons0.EQ, Lincons0.SUPEQ, Lincons0.SUP, Lincons0.EQMOD, or Lincons0.DISEQ.
kind - Variable in class apron.Tcons0: Kind of constraint: Tcons0.EQ, Tcons0.SUPEQ, Tcons0.SUP, Tcons0.EQMOD, or Tcons0.DISEQ.
kronecker(int, Mpz) - Static method in class gmp.Mpz: Returns the Jacobi symbol with the Kronecker extension.
kronecker(Mpz, int) - Static method in class gmp.Mpz: Returns the Jacobi symbol with the Kronecker extension.
kronecker(Mpz, Mpz) - Static method in class gmp.Mpz: Returns the Jacobi symbol with the Kronecker extension.

L

lArg - Variable in class apron.Texpr0BinNode: Left argument.
lArg - Variable in class apron.Texpr1BinNode: Left argument.
lce(Environment) - Method in class apron.Environment: Returns the least environment extending this and op.
lce(Environment[]) - Static method in class apron.Environment: Returns the least environment extending all environments in ar.
lcm(Mpz, int) - Method in class gmp.Mpz: Stores into this the least common multiple of op1 and op2.
lcm(Mpz, Mpz) - Method in class gmp.Mpz: Stores into this the least common multiple of op1 and op2.
legendre(Mpz, Mpz) - Static method in class gmp.Mpz: Returns the Legendre symbol.
lgamma(int[], Mpfr, int) - Method in class gmp.Mpfr: Sets this to the logarithm of the absolute value of the Gamma function at op.
li2(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the real part of the dilogarithm of op.
Lincons0 - Class in apron: Class of level 0 linear constraints.
Lincons0() - Constructor for class apron.Lincons0: Constructs an universal constraint 0 >= 0.
Lincons0(boolean) - Constructor for class apron.Lincons0: Constructs a constraint that is either universal (0 >= 0), or unsatisfiable (-1 >= 0).
Lincons0(int, Linexpr0) - Constructor for class apron.Lincons0: Constructs a constraint with given kind and e as left member.
Lincons0(int, Linexpr0, Scalar) - Constructor for class apron.Lincons0: Constructs a constraint with given kind, e as left member, and s as modulo factor.
Lincons0(Lincons0) - Constructor for class apron.Lincons0: Constructs a copy of c.
Lincons1 - Class in apron: Class of level 1 linear constraints.
Lincons1(int, Linexpr1) - Constructor for class apron.Lincons1: Constructs a constraint with given kind and e as left member.
Lincons1(int, Linexpr1, Scalar) - Constructor for class apron.Lincons1: Constructs a constraint with given kind, e as left member, and s as modulo factor.
Lincons1(Environment) - Constructor for class apron.Lincons1: Constructs a universal constraint 0 >= 0.
Lincons1(Environment, boolean) - Constructor for class apron.Lincons1: Constructs a constraint that is either universal (0 >= 0), or unsatisfiable (-1 >= 0).
Lincons1(Environment, Lincons0) - Constructor for class apron.Lincons1: Creates a new Lincons1 from a Lincons0.
Lincons1(Lincons1) - Constructor for class apron.Lincons1: Constructs a copy of c.
LINE - Static variable in class apron.Generator0: Line: { lambda * coord | lambda in R }.
LINE - Static variable in class apron.Generator1: Line: { lambda * coord | lambda in R }.
LINEMOD - Static variable in class apron.Generator0: Modular line: { lambda * coord | lambda in Z }.
LINEMOD - Static variable in class apron.Generator1: Modular line: { lambda * coord | lambda in Z }.
Linexpr0 - Class in apron: Class of level 0 linear expressions.
Linexpr0() - Constructor for class apron.Linexpr0: Creates a new empty sparse Linexpr0.
Linexpr0(boolean, int) - Constructor for class apron.Linexpr0: Creates a new dense or sparse Linexpr0 of the given size.
Linexpr0(int) - Constructor for class apron.Linexpr0: Creates a new dense Linexpr0 of the given size.
Linexpr0(Coeff[], Coeff) - Constructor for class apron.Linexpr0: Creates a new dense Linexpr0 with the specified dimension and constant coefficients.
Linexpr0(Linexpr0) - Constructor for class apron.Linexpr0: Creates a copy of c.
Linexpr0(Linterm0[], Coeff) - Constructor for class apron.Linexpr0: Creates a new sparse Linexpr0 with the specified dimension and constant coefficient.
Linexpr1 - Class in apron: Class of level 1 linear expressions.
Linexpr1(Environment) - Constructor for class apron.Linexpr1: Creates a new dense expression.
Linexpr1(Environment, int) - Constructor for class apron.Linexpr1: Creates a empty sparse expression of the given size on environment e.
Linexpr1(Environment, Coeff[], Coeff) - Constructor for class apron.Linexpr1: Creates a new dense expression initialized with the corresponding variable and constant coefficients.
Linexpr1(Environment, Linexpr0) - Constructor for class apron.Linexpr1: Creates a new level 1 linear expression from a level 0 linear expression.
Linexpr1(Environment, Linterm1[], Coeff) - Constructor for class apron.Linexpr1: Creates a new sparse expression initialized with the corresponding terms and constant coefficient.
Linexpr1(Linexpr1) - Constructor for class apron.Linexpr1: Creates a copy of c.
Linterm0 - Class in apron: Class of terms in level 0 linear expressions and constraints.
Linterm0(int, Coeff) - Constructor for class apron.Linterm0: Creates a new linear term.
Linterm0(Linterm0) - Constructor for class apron.Linterm0: Creates a copy of the linear term.
Linterm1 - Class in apron: Class of terms in level 1 linear expressions and constraints.
Linterm1(Linterm1) - Constructor for class apron.Linterm1: Creates a copy of the linear term.
Linterm1(Var, Coeff) - Constructor for class apron.Linterm1: Creates a new linear term.
Linterm1(String, Coeff) - Constructor for class apron.Linterm1
lngamma(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the logarithm of the value of the Gamma function at op.
log(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the natural logarithm of op.
log10(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the logarithm in base 10 of op.
log1p(Mpfr, int) - Method in class gmp.Mpfr: Sets this to log(1+op).
log2(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the logarithm in base 2 of op.
lucnum(int) - Method in class gmp.Mpz: Stores into this the n-th Lucas number.
lucnum(Mpz, int) - Method in class gmp.Mpz: Stores into this the n-th Lucas number, and into r the n-1-th Lucas number.

M

main(String[]) - Static method in class apron.Test: Calling main performs a few API tests.
main(String[]) - Static method in class apron.TestPplite: Calling main performs a few API tests.
main(String[]) - Static method in class gmp.Test: Calling main performs a few API tests.
mainx(String[]) - Static method in class apron.Test
mainx(String[]) - Static method in class apron.TestPplite
make(Environment, Generator0) - Static method in class apron.Generator1: This function is used internally to construct a new level 1 generator by referencing a level 0 generator.
make(Environment, Lincons0) - Static method in class apron.Lincons1: This function is used internally to construct a level 1 constraint by referencing a level 0 constraint.
make(Environment, Linexpr0) - Static method in class apron.Linexpr1: This function is used internally to construct a level 1 expression by referencing a level 0 expression.
make(Environment, Tcons0) - Static method in class apron.Tcons1: This function is used internally to construct a level 1 constraint by referencing a level 0 constraint.
make(Environment, Texpr0Intern) - Static method in class apron.Texpr1Intern: This function is used internally to construct a new level 1 expression from a level 0 expression.
manager - Variable in exception class apron.ApronException: Manager that caused the exception.
Manager - Class in apron: Class of numerical abstract domain instances.
Manager() - Constructor for class apron.Manager: Managers can only be constructed from an abstract domain Manager subclass.
max(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to the maximum of op1 and op2.
maxDim() - Method in class apron.Lincons0: Returns the maximum occurring dimension + 1.
maxDim() - Method in class apron.Linexpr0: Maximum dimension occurring in the expression + 1.
maxDim() - Method in class apron.Tcons0: Maximum occurring dimension + 1.
maxDim() - Method in class apron.Texpr0BinNode
maxDim() - Method in class apron.Texpr0CstNode
maxDim() - Method in class apron.Texpr0DimNode
maxDim() - Method in class apron.Texpr0Intern: Maximum occurring dimension + 1.
maxDim() - Method in class apron.Texpr0Node: Maximum occurring dimension + 1.
maxDim() - Method in class apron.Texpr0UnNode
meet(Manager, Abstract0) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) the set-intersection of this and op.
meet(Manager, Abstract0[]) - Static method in class apron.Abstract0: Returns a new abstract element that contains (an over-approximation of) the set-intersection of the elements in ar.
meet(Manager, Abstract1) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) the set-intersection of this and op.
meet(Manager, Abstract1[]) - Static method in class apron.Abstract1: Returns a new abstract element that contains (an over-approximation of) the set-intersection of the elements in ar.
meet(Manager, Lincons0) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) the set-intersection of this with the constraint c.
meet(Manager, Lincons0[]) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) the set-intersection of this with the constraints in ar.
meet(Manager, Lincons1) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) the set-intersection of this with the constraint c.
meet(Manager, Lincons1[]) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) the set-intersection of this with the constraints in ar.
meet(Manager, Tcons0) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) the set-intersection of this with the constraint c.
meet(Manager, Tcons0[]) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) the set-intersection of this with the constraints in ar.
meet(Manager, Tcons1) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) the set-intersection of this with the constraint c.
meet(Manager, Tcons1[]) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) the set-intersection of this with the constraints in ar.
meetCopy(Manager, Abstract0) - Method in class apron.Abstract0: Returns a new abstract element that contains (an over-approximation of) the set-intersection of this and op.
meetCopy(Manager, Abstract1) - Method in class apron.Abstract1: Returns a new abstract element that contains (an over-approximation of) the set-intersection of this and op.
meetCopy(Manager, Lincons0) - Method in class apron.Abstract0: Returns a new abstract element that contains (an over-approximation of) the set-intersection of this with the constraint cr.
meetCopy(Manager, Lincons0[]) - Method in class apron.Abstract0: Returns a new abstract element that contains (an over-approximation of) the set-intersection of this with the constraints in ar.
meetCopy(Manager, Lincons1) - Method in class apron.Abstract1: Returns a new abstract element that contains (an over-approximation of) the set-intersection of this with the constraint cr.
meetCopy(Manager, Lincons1[]) - Method in class apron.Abstract1: Returns a new abstract element that contains (an over-approximation of) the set-intersection of this with the constraints in ar.
meetCopy(Manager, Tcons0) - Method in class apron.Abstract0: Returns a new abstract element that contains (an over-approximation of) the set-intersection of this with the constraint in c.
meetCopy(Manager, Tcons0[]) - Method in class apron.Abstract0: Returns a new abstract element that contains (an over-approximation of) the set-intersection of this with the constraints in ar.
meetCopy(Manager, Tcons1) - Method in class apron.Abstract1: Returns a new abstract element that contains (an over-approximation of) the set-intersection of this with the constraint in c.
meetCopy(Manager, Tcons1[]) - Method in class apron.Abstract1: Returns a new abstract element that contains (an over-approximation of) the set-intersection of this with the constraints in ar.
min(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to the minimum of op1 and op2.
minimize() - Method in class apron.Lincons0: Simplifies the representation.
minimize() - Method in class apron.Lincons1: Simplifies the representation.
minimize() - Method in class apron.Linexpr0: Simplifies the representation.
minimize() - Method in class apron.Linexpr1: Simplifies the representation.
minimize(Manager) - Method in class apron.Abstract0: Tries to minimize the memory representation of the element.
minimize(Manager) - Method in class apron.Abstract1: Tries to minimize the memory representation of the element.
minimizeEnvironment(Manager) - Method in class apron.Abstract1: Removes all unconstrained variables.
minimizeEnvironmentCopy(Manager) - Method in class apron.Abstract1: Returns a copy of this with all unconstrained variables removed.
mod(int) - Method in class gmp.Mpz: Replaces this with this mod |d|.
mod(Mpz) - Method in class gmp.Mpz: Replaces this with this mod |d|.
mod(Mpz, int) - Method in class gmp.Mpz: Stores n mod |d| into this and returns it.
mod(Mpz, Mpz) - Method in class gmp.Mpz: Stores n mod |d| into this.
modf(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to the integral part of op, and f to its fractional part.
Mpfr - Class in gmp: MPFR multi-precision floating-point numbers.
Mpfr() - Constructor for class gmp.Mpfr: Constructs a new number with the default precision.
Mpfr(double, int) - Constructor for class gmp.Mpfr: Constructs a float with the default precision equal to a double (with rounding).
Mpfr(int) - Constructor for class gmp.Mpfr: Constructs a new number with exactly prec bits of precision.
Mpfr(int, int) - Constructor for class gmp.Mpfr: Constructs a float with the default precision equal to an integer (with rounding).
Mpfr(Mpfr) - Constructor for class gmp.Mpfr: Constructs a copy of v, with the same precision as v.
Mpfr(Mpfr, int) - Constructor for class gmp.Mpfr: Constructs a copy of v, rounded to the default precision.
Mpfr(Mpq, int) - Constructor for class gmp.Mpfr: Constructs a float with the default precision equal to a fraction (with rounding).
Mpfr(Mpz, int) - Constructor for class gmp.Mpfr: Constructs a float with the default precision equal to an integer (with rounding).
Mpfr(String, int) - Constructor for class gmp.Mpfr: Constructs a float with the default precision equal to the number represented in the decimal String s (with rounding).
Mpfr(String, int, int) - Constructor for class gmp.Mpfr: Constructs a float with the default precision equal to the number represented in the String s in base b (with rounding).
Mpfr(BigInteger, int) - Constructor for class gmp.Mpfr: Constructs a float with the default precision equal to an integer (with rounding).
MpfrScalar - Class in apron: Class of Scalar objects backed up by a Mpfr multi-precision floating-point number.
MpfrScalar() - Constructor for class apron.MpfrScalar: Creates a new Mpfr Scalar set to NaN.
MpfrScalar(double, int) - Constructor for class apron.MpfrScalar: Creates a new Mpfr Scalar holding a copy of x.
MpfrScalar(int) - Constructor for class apron.MpfrScalar: Creates a new Mpfr Scalar with the given precision, set to NaN.
MpfrScalar(MpfrScalar) - Constructor for class apron.MpfrScalar: Creates a copy of x.
MpfrScalar(Mpfr) - Constructor for class apron.MpfrScalar: Creates a new Mpfr Scalar holding a copy of x.
Mpq - Class in gmp: GMP arbitrary precision rationals.
Mpq() - Constructor for class gmp.Mpq: Constructs a rational initialized to 0/1.
Mpq(double) - Constructor for class gmp.Mpq: Constructs a rational equal to the double d.
Mpq(int) - Constructor for class gmp.Mpq: Constructs a rational equal to the integer op.
Mpq(int, int) - Constructor for class gmp.Mpq: Constructs a rational equal to num/den.
Mpq(Mpq) - Constructor for class gmp.Mpq: Constructs a copy of op.
Mpq(Mpz) - Constructor for class gmp.Mpq: Constructs a rational equal to the integer op.
Mpq(Mpz, Mpz) - Constructor for class gmp.Mpq: Constructs a rational equal to num/den.
Mpq(String) - Constructor for class gmp.Mpq: Constructs a rational from the String s.
Mpq(String, int) - Constructor for class gmp.Mpq: Constructs a rational from the String s expressed in base b.
Mpq(BigInteger) - Constructor for class gmp.Mpq: Constructs a rational equal to the integer op.
Mpq(BigInteger, BigInteger) - Constructor for class gmp.Mpq: Constructs a rational equal to num/den.
MpqScalar - Class in apron: Class of Scalar objects backed up by a Mpq multi-precision rational.
MpqScalar() - Constructor for class apron.MpqScalar: Creates a new Mpq Scalar set to 0.
MpqScalar(int) - Constructor for class apron.MpqScalar: Creates a new Mpq Scalar initialized to x.
MpqScalar(int, int) - Constructor for class apron.MpqScalar: Creates a new Mpq Scalar initialized to the fraction num/den.
MpqScalar(MpqScalar) - Constructor for class apron.MpqScalar: Creates a copy of x.
MpqScalar(Mpq) - Constructor for class apron.MpqScalar: Creates a new Mpq Scalar holding a copy of x.
MpqScalar(Mpz) - Constructor for class apron.MpqScalar: Creates a new Mpq Scalar holding a copy of x.
MpqScalar(Mpz, Mpz) - Constructor for class apron.MpqScalar: Creates a new Mpq Scalar initialized to the fraction num/den.
MpqScalar(BigInteger) - Constructor for class apron.MpqScalar: Creates a new Mpq Scalar initialized to x.
MpqScalar(BigInteger, BigInteger) - Constructor for class apron.MpqScalar: Creates a new Mpq Scalar initialized to the fraction num/den.
Mpz - Class in gmp: GMP arbitrary precision integers.
Mpz() - Constructor for class gmp.Mpz: Constructs an uninitialized number.
Mpz(double) - Constructor for class gmp.Mpz: Constructs a number initialized with a double.
Mpz(int) - Constructor for class gmp.Mpz: Constructs a number initialized with an integer.
Mpz(int, byte[]) - Constructor for class gmp.Mpz: Constructs a number from a unsigned stored in a big-endian byte array and a sign.
Mpz(Mpz) - Constructor for class gmp.Mpz: Constructs a copy of its argument.
Mpz(String) - Constructor for class gmp.Mpz: Constructs a number initialized from a string representation.
Mpz(String, int) - Constructor for class gmp.Mpz: Constructs a number initialized from a string representation in base b.
Mpz(BigInteger) - Constructor for class gmp.Mpz: Constructs a number initialized from a Java big integer.
MpzExponentValue(Mpz) - Method in class gmp.Mpfr: Converts exactly this to the form v*2^e, where v is an integer.
MpzRef - Class in gmp: Class of references to numerators and denominator of Mpq objects.
MpzValue(int) - Method in class gmp.Mpfr: Converts this to an integer (with rounding) and returns it.
mul(double, int) - Method in class gmp.Mpfr: Multiplies op by this.
mul(int) - Method in class gmp.Mpz: Multiplies this by arg.
mul(int, int) - Method in class gmp.Mpfr: Multiplies op by this.
mul(Mpfr, double, int) - Method in class gmp.Mpfr: Sets this to op1*op2.
mul(Mpfr, int) - Method in class gmp.Mpfr: Multiplies op by this.
mul(Mpfr, int, int) - Method in class gmp.Mpfr: Sets this to op1*op2.
mul(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to op1*op2.
mul(Mpfr, Mpq, int) - Method in class gmp.Mpfr: Sets this to op1*op2.
mul(Mpfr, Mpz, int) - Method in class gmp.Mpfr: Sets this to op1*op2.
mul(Mpq) - Method in class gmp.Mpq: Multiply this by arg.
mul(Mpq, int) - Method in class gmp.Mpfr: Multiplies op by this.
mul(Mpq, Mpq) - Method in class gmp.Mpq: Stores arg1*arg2 into this.
mul(Mpz) - Method in class gmp.Mpz: Multiplies this by arg.
mul(Mpz, int) - Method in class gmp.Mpfr: Multiplies op by this.
mul(Mpz, int) - Method in class gmp.Mpz: Stores arg1*arg2 into this.
mul(Mpz, Mpz) - Method in class gmp.Mpz: Stores arg1*arg2 into this.
mul2exp(int) - Method in class gmp.Mpq: Multiply this by 2^arg.
mul2exp(int) - Method in class gmp.Mpz: Multiplies this by 2^arg.
mul2exp(int, int) - Method in class gmp.Mpfr: Multiplies this by 2^op.
mul2exp(Mpfr, int, int) - Method in class gmp.Mpfr: Sets this to op1*(2^op2).
mul2exp(Mpq, int) - Method in class gmp.Mpq: Stores arg1*(2^arg2) into this.
mul2exp(Mpz, int) - Method in class gmp.Mpz: Stores arg1*2^arg2 into this.

N

neg() - Method in class apron.Coeff: Negates this.
neg() - Method in class apron.DoubleScalar: Negates this (exact).
neg() - Method in class apron.Interval: Negates x.
neg() - Method in class apron.MpfrScalar: Negates this (exact).
neg() - Method in class apron.MpqScalar: Negates this (exact).
neg() - Method in class apron.Scalar: Negates this.
neg() - Method in class gmp.Mpq: Replaces this with -this.
neg() - Method in class gmp.Mpz: Replaces this with -this.
neg(int) - Method in class gmp.Mpfr: Negates this.
neg(Mpfr, int) - Method in class gmp.Mpfr: Sets this to -op.
neg(Mpq) - Method in class gmp.Mpq: Stores -arg into this.
neg(Mpz) - Method in class gmp.Mpz: Stores -arg into this.
nextAbove() - Method in class gmp.Mpfr: Sets this to the representable float following x.
nextBelow() - Method in class gmp.Mpfr: Sets this to the representable float preceding x.
nextPrime(Mpz) - Method in class gmp.Mpz: Stores into this the next prime greater than op.
nextToward(Mpfr) - Method in class gmp.Mpfr: Sets this to the next representable float following x in the direction of y.
not() - Method in class gmp.Mpz: Stores the bitwise complement of this into this.
not(Mpz) - Method in class gmp.Mpz: Stores the bitwise complement of op into this.
notBit(int) - Method in class gmp.Mpz: Inverts the pos-th bit in this.
NotImplementedException - Exception Class in apron: Exception thrown when calling an abstract transfer function that is not implemented in the domain.
NotImplementedException() - Constructor for exception class apron.NotImplementedException
NotImplementedException(String, Manager, int) - Constructor for exception class apron.NotImplementedException
numRef() - Method in class gmp.Mpq: Returns a reference to the numerator of this.

O

Octagon - Class in apron: Manager factory for the octagon abstract domain.
Octagon() - Constructor for class apron.Octagon: Creates a new manager to create and manipulate octagons.
op - Variable in class apron.Texpr0BinNode: Operation (Texpr0BinNode.OP_ADD, etc.).
op - Variable in class apron.Texpr0UnNode: Operation (Texpr0UnNode.OP_NEG, etc.).
op - Variable in class apron.Texpr1BinNode: Operation (Texpr1BinNode.OP_ADD, etc.).
op - Variable in class apron.Texpr1UnNode: Operation (Texpr1UnNode.OP_NEG, etc.).
OP_ADD - Static variable in class apron.Texpr0BinNode: Addition.
OP_ADD - Static variable in class apron.Texpr1BinNode: Addition.
OP_CAST - Static variable in class apron.Texpr0UnNode: Cast.
OP_CAST - Static variable in class apron.Texpr1UnNode: Cast.
OP_DIV - Static variable in class apron.Texpr0BinNode: Division.
OP_DIV - Static variable in class apron.Texpr1BinNode: Division.
OP_MOD - Static variable in class apron.Texpr0BinNode: Modulo (for integers or reals).
OP_MOD - Static variable in class apron.Texpr1BinNode: Modulo (for integers or reals).
OP_MUL - Static variable in class apron.Texpr0BinNode: Multiplication.
OP_MUL - Static variable in class apron.Texpr1BinNode: Multiplication.
OP_NEG - Static variable in class apron.Texpr0UnNode: Negation (no rounding).
OP_NEG - Static variable in class apron.Texpr1UnNode: Negation (no rounding).
OP_POW - Static variable in class apron.Texpr0BinNode: Power.
OP_POW - Static variable in class apron.Texpr1BinNode: Power.
OP_SQRT - Static variable in class apron.Texpr0UnNode: Square root.
OP_SQRT - Static variable in class apron.Texpr1UnNode: Square root.
OP_SUB - Static variable in class apron.Texpr0BinNode: Subtraction.
OP_SUB - Static variable in class apron.Texpr1BinNode: Subtraction.
opName(int) - Static method in class apron.Texpr0BinNode: Returns a String representation of an operator.
opName(int) - Static method in class apron.Texpr0UnNode: Returns a String representation of an operator.
opPrecedence(int) - Static method in class apron.Texpr0BinNode: Returns the precedence of an operator, used for printing.
opPrecedence(int) - Static method in class apron.Texpr0UnNode: Returns the precedence of an operator, used for printing.
or(Mpz) - Method in class gmp.Mpz: Stores the bitwise or of this and op into this.
or(Mpz, Mpz) - Method in class gmp.Mpz: Stores the bitwise or of op1 and op2 into this.
OutOfSpaceException - Exception Class in apron: Exception thrown by an abstract transfer function when the maximum memory consumption is exceeded.
OutOfSpaceException() - Constructor for exception class apron.OutOfSpaceException
OutOfSpaceException(String, Manager, int) - Constructor for exception class apron.OutOfSpaceException
OverflowException - Exception Class in apron: Exception thrown by an abstract transfer function in case of an arithmetic overflow.
OverflowException() - Constructor for exception class apron.OverflowException
OverflowException(String, Manager, int) - Constructor for exception class apron.OverflowException

P

parent - Variable in class gmp.MpzRef: We keep a pointer to the parent Mpq object so that it is not freed while a MpzRef on it is live.
permuteDimensions(Dimperm) - Method in class apron.Generator0: Permutes some dimensions in the generator.
permuteDimensions(Dimperm) - Method in class apron.Lincons0: Permutes some dimensions in the constraint.
permuteDimensions(Dimperm) - Method in class apron.Linexpr0: Permutes some dimensions in the expression.
permuteDimensions(Dimperm) - Method in class apron.Tcons0: Permutes some dimensions in the constraint.
permuteDimensions(Dimperm) - Method in class apron.Texpr0BinNode
permuteDimensions(Dimperm) - Method in class apron.Texpr0CstNode
permuteDimensions(Dimperm) - Method in class apron.Texpr0DimNode
permuteDimensions(Dimperm) - Method in class apron.Texpr0Intern: Permutes some dimensions in the expression.
permuteDimensions(Dimperm) - Method in class apron.Texpr0Node: Permutes some dimensions in the expression.
permuteDimensions(Dimperm) - Method in class apron.Texpr0UnNode
permuteDimensions(Manager, Dimperm) - Method in class apron.Abstract0: Permutes some dimensions to this.
permuteDimensionsCopy(Dimperm) - Method in class apron.Generator0: Returns a copy of the generator with some dimensions permuted.
permuteDimensionsCopy(Dimperm) - Method in class apron.Lincons0: Returns a copy of the constraint with some dimensions permuted.
permuteDimensionsCopy(Dimperm) - Method in class apron.Linexpr0: Returns a copy of the expression with some dimensions permuted.
permuteDimensionsCopy(Dimperm) - Method in class apron.Tcons0: Returns a copy of the constraint with some dimensions permuted.
permuteDimensionsCopy(Dimperm) - Method in class apron.Texpr0Intern: Returns a copy of this with some dimensions permuted.
permuteDimensionsCopy(Dimperm) - Method in class apron.Texpr0Node: Returns a copy of this with some dimensions permuted.
permuteDimensionsCopy(Manager, Dimperm) - Method in class apron.Abstract0: Returns a new element containing this after permuting some dimensions.
Polka - Class in apron: Manager factory for the convex polyhedron abstract domain.
Polka(boolean) - Constructor for class apron.Polka: Creates a new manager to create and manipulate convex polyhedra.
PolkaEq - Class in apron: Manager factory for the linear equalities domain.
PolkaEq() - Constructor for class apron.PolkaEq: Creates a new manager to create and manipulate linear equalities.
PolkaGrid - Class in apron: Manager factory for the reduced product of the Polka convex polyhedra and PplGrid the linear congruence equalities domains.
PolkaGrid(boolean) - Constructor for class apron.PolkaGrid: Creates a new manager to create and manipulate reduced product of Polka and PplGrid linear congruence equalities.
popCount() - Method in class gmp.Mpz: Returns the number of bits set to 1 in this.
pow(int) - Method in class gmp.Mpz: Takes the e-th power of this.
pow(int, int) - Method in class gmp.Mpz: Stores b^e into this.
pow(Mpfr, int, int) - Method in class gmp.Mpfr: Stores op1^op2 into this.
pow(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Stores op1^op2 into this.
pow(Mpfr, Mpz, int) - Method in class gmp.Mpfr: Stores op1^op2 into this.
pow(Mpz, int) - Method in class gmp.Mpz: Stores b^e into this.
pow(Mpz, int, Mpz) - Method in class gmp.Mpz: Stores b^e mod m into this.
pow(Mpz, Mpz, Mpz) - Method in class gmp.Mpz: Stores b^e mod m into this.
PplGrid - Class in apron: Manager factory for the Parma Polyhedra Library linear congruence equalities domain.
PplGrid() - Constructor for class apron.PplGrid: Creates a new manager to create and manipulate linear congruence equalities using the Parma Polyhedra Library.
Pplite - Class in apron: Manager factory for the PPLite domains.
Pplite(boolean) - Constructor for class apron.Pplite: Creates a new manager to create and manipulate convex polyhedra.
PplPoly - Class in apron: Manager factory for the Parma Polyhedra Library convex polyhedra domain.
PplPoly(boolean) - Constructor for class apron.PplPoly: Creates a new manager to create and manipulate convex polyhedra.
precRound(int, int) - Method in class gmp.Mpfr: Rounds this to prec bits and changes its precision.

R

random(RandState) - Method in class gmp.Mpfr: Stores into this a uniformly distributed random number in [0, 1].
random(RandState, Mpz) - Method in class gmp.Mpz: Stores into this a uniformly distributed random number in 0..n-1.
randomBits(int) - Method in class gmp.RandState: Returns an uniformly distributed random number of n bits (i.e., in 0..2^n-1).
randomBits(RandState, int) - Method in class gmp.Mpz: Stores into this a uniformly distributed random number with n bits (i.e., in 0..2^n-1).
randomInt(int) - Method in class gmp.RandState: Returns an uniformly distributed random number in 0..n-1.
RandState - Class in gmp: Pseudo-random number generation states.
RandState() - Constructor for class gmp.RandState: Creates a random state with the default algorithm.
RandState(boolean) - Constructor for class gmp.RandState: Creates a random state for a Mersenne Twister algorithm.
RandState(int) - Constructor for class gmp.RandState: Creates a random state for a congruential algorithm.
RandState(Mpz, int, int) - Constructor for class gmp.RandState: Creates a random state for a congruential algorithm.
RandState(RandState) - Constructor for class gmp.RandState: Creates a copy of the random state op.
rArg - Variable in class apron.Texpr0BinNode: Right argument.
rArg - Variable in class apron.Texpr1BinNode: Right argument.
RAY - Static variable in class apron.Generator0: Ray: { lambda * coord | lambda >= 0 in R }.
RAY - Static variable in class apron.Generator1: Ray: { lambda * coord | lambda >= 0 in R }.
RAYMOD - Static variable in class apron.Generator0: Modular ray: { lambda * coord | lambda in N }.
RAYMOD - Static variable in class apron.Generator1: Modular ray: { lambda * coord | lambda in N }.
rdir - Variable in class apron.Texpr0BinNode: Rounding direction (Texpr0Node.RDIR_NEAREST, etc.).
rdir - Variable in class apron.Texpr0UnNode: Rounding direction (Texpr0Node.RDIR_NEAREST, etc.).
rdir - Variable in class apron.Texpr1BinNode: Rounding direction (Texpr1Node.RDIR_NEAREST, etc.).
rdir - Variable in class apron.Texpr1UnNode: Rounding direction (Texpr1Node.RDIR_NEAREST, etc.).
RDIR_DOWN - Static variable in class apron.Texpr0Node: Rounds towards -oo.
RDIR_DOWN - Static variable in class apron.Texpr1Node: Rounds towards -oo.
RDIR_NEAREST - Static variable in class apron.Texpr0Node: Rounds to nearest.
RDIR_NEAREST - Static variable in class apron.Texpr1Node: Rounds to nearest.
RDIR_RND - Static variable in class apron.Texpr0Node: Non-deterministic rounding (all four modes considered).
RDIR_RND - Static variable in class apron.Texpr1Node: Non-deterministic rounding (all four modes considered).
RDIR_UP - Static variable in class apron.Texpr0Node: Rounds towards +oo.
RDIR_UP - Static variable in class apron.Texpr1Node: Rounds towards +oo.
RDIR_ZERO - Static variable in class apron.Texpr0Node: Rounds towards 0 (truncation).
RDIR_ZERO - Static variable in class apron.Texpr1Node: Rounds towards 0 (truncation).
realDim - Variable in class apron.Dimension: Number of real-valued dimensions.
recSqrt(int) - Method in class gmp.Mpfr: Takes the inverted square root of this.
recSqrt(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the inverted square root of op.
remainder(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to x-y*round(x/y).
remove(Var[]) - Method in class apron.Environment: Returns a new environment with some variables removed.
remove(Mpz) - Method in class gmp.Mpz: Removes from this all occurrences of factor f.
remove(Mpz, Mpz) - Method in class gmp.Mpz: Stores into this op with all occurrences of factor f removed.
remove(String[]) - Method in class apron.Environment
removeDimensions(Dimchange) - Method in class apron.Tcons0: Removes some dimensions and shifts coefficients accordingly .
removeDimensions(Dimchange) - Method in class apron.Texpr0BinNode
removeDimensions(Dimchange) - Method in class apron.Texpr0CstNode
removeDimensions(Dimchange) - Method in class apron.Texpr0DimNode: Removes some dimensions and shifts coefficients accordingly.
removeDimensions(Dimchange) - Method in class apron.Texpr0Intern: Removes some dimensions and shifts coefficients accordingly.
removeDimensions(Dimchange) - Method in class apron.Texpr0Node: Removes some dimensions and shifts coefficients accordingly
removeDimensions(Dimchange) - Method in class apron.Texpr0UnNode
removeDimensions(Manager, Dimchange) - Method in class apron.Abstract0: Removes some dimensions from this.
removeDimensionsCopy(Dimchange) - Method in class apron.Tcons0: Returns a copy of the constraint with some dimensions removed.
removeDimensionsCopy(Dimchange) - Method in class apron.Texpr0Intern: Returns a copy of this with some dimensions removed.
removeDimensionsCopy(Dimchange) - Method in class apron.Texpr0Node: Returns a copy of this with some dimensions removed.
removeDimensionsCopy(Manager, Dimchange) - Method in class apron.Abstract0: Returns a new element containing this after removing some dimensions.
remquo(int[], Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to x-y*round(x/y).
rename(Manager, Var[], Var[]) - Method in class apron.Abstract1: Renames variable org[i] as dst[i].
rename(Manager, String[], String[]) - Method in class apron.Abstract1
rename(Var[], Var[]) - Method in class apron.Environment: Returns the environment obtained by mapping each variable named org[i] to dst[i].
rename(Var[], Var[], Dimperm[]) - Method in class apron.Environment: Returns the environment obtained by mapping each variable named org[i] to dst[i].
rename(String[], String[]) - Method in class apron.Environment
rename(String[], String[], Dimperm[]) - Method in class apron.Environment
renameCopy(Manager, Var[], Var[]) - Method in class apron.Abstract1: Returns a copy of this with variable org[i] renamed as dst[i].
renameCopy(Manager, String[], String[]) - Method in class apron.Abstract1
resize(int) - Method in class apron.Lincons0: Changes the size of the underlying expression.
resize(int) - Method in class apron.Linexpr0: Changes the size of the Linexpr0.
rint(Mpfr, int) - Method in class gmp.Mpfr: Stores into this, op rounded to the nearest representable integer for the given rounding mode.
rint_ceil(Mpfr, int) - Method in class gmp.Mpfr: Stores into this, the integer following op, then rounded.
rint_floor(Mpfr, int) - Method in class gmp.Mpfr: Stores into this, the integer preceding op, then rounded.
rint_round(Mpfr, int) - Method in class gmp.Mpfr: Stores into this, the integer nearest op, then rounded.
rint_trunc(Mpfr, int) - Method in class gmp.Mpfr: Stores into this, op truncated to an integer, then rounded.
RNDD - Static variable in class gmp.Mpfr: Rounds toward minus infinity.
RNDN - Static variable in class gmp.Mpfr: Rounds to nearest.
RNDU - Static variable in class gmp.Mpfr: Rounds toward plus infinity.
RNDZ - Static variable in class gmp.Mpfr: Rounds toward zero.
root(int) - Method in class gmp.Mpz: Takes the n-th root of this, truncated.
root(int, int) - Method in class gmp.Mpfr: Takes the k-th root of this.
root(Mpfr, int, int) - Method in class gmp.Mpfr: Sets this to the k-th root of op.
root(Mpz, int) - Method in class gmp.Mpz: Stores the n-th root of op into this, truncated.
root(Mpz, Mpz, int) - Method in class gmp.Mpz: Stores the n-th root of op into this, truncated, and the remainder op-this^n into r.
round(Mpfr) - Method in class gmp.Mpfr: Stores into this, op rounded to the nearest representable integer.
rRandomBits(RandState, int) - Method in class gmp.Mpz: Stores into this a random number with n bits, and long strings of zeros and ones in its binary representation.
rtype - Variable in class apron.Texpr0BinNode: Rounding type (Texpr0Node.RTYPE_REAL, etc).
rtype - Variable in class apron.Texpr0UnNode: Rounding type (Texpr0Node.RTYPE_REAL, etc).
rtype - Variable in class apron.Texpr1BinNode: Rounding type (Texpr1Node.RTYPE_REAL, etc).
rtype - Variable in class apron.Texpr1UnNode: Rounding type (Texpr1Node.RTYPE_REAL, etc).
RTYPE_DOUBLE - Static variable in class apron.Texpr0Node: Double-precision rounding: 64-bit IEEE 754 (double).
RTYPE_DOUBLE - Static variable in class apron.Texpr1Node: Double-precision rounding: 64-bit IEEE 754 (double).
RTYPE_EXTENDED - Static variable in class apron.Texpr0Node: Extended-precision rounding: 80-bit (Intel's long double).
RTYPE_EXTENDED - Static variable in class apron.Texpr1Node: Extended-precision rounding: 80-bit (Intel's long double).
RTYPE_INT - Static variable in class apron.Texpr0Node: Integer rounding.
RTYPE_INT - Static variable in class apron.Texpr1Node: Integer rounding.
RTYPE_QUAD - Static variable in class apron.Texpr0Node: Quad-precision rounding: 128-bit (Motorola's long double).
RTYPE_QUAD - Static variable in class apron.Texpr1Node: Quad-precision rounding: 128-bit (Motorola's long double).
RTYPE_REAL - Static variable in class apron.Texpr0Node: Real (no rounding).
RTYPE_REAL - Static variable in class apron.Texpr1Node: Real (no rounding).
RTYPE_SINGLE - Static variable in class apron.Texpr0Node: Single-precision rounding: 32-bit IEEE 754 (float).
RTYPE_SINGLE - Static variable in class apron.Texpr1Node: Single-precision rounding: 32-bit IEEE 754 (float).

S

safe_toString(Pplite, Abstract0) - Static method in class apron.TestPplite
satisfy(Manager, int, Interval) - Method in class apron.Abstract0: Whether the projection of this on dimension dim is definitely included in the interval i (true) or maybe is not included (false).
satisfy(Manager, Lincons0) - Method in class apron.Abstract0: Whether this definitely satisfies the constraint c (true) or maybe does not satisfy it (false).
satisfy(Manager, Lincons1) - Method in class apron.Abstract1: Whether this definitely satisfies the constraint c (true) or maybe does not satisfy it (false).
satisfy(Manager, Tcons0) - Method in class apron.Abstract0: Whether this definitely satisfies the constraint c (true) or maybe does not satisfy it (false).
satisfy(Manager, Tcons1) - Method in class apron.Abstract1: Whether this definitely satisfies the constraint c (true) or maybe does not satisfy it (false).
satisfy(Manager, Var, Interval) - Method in class apron.Abstract1: Whether the projection of this on variable var is definitely included in the interval i (true) or maybe is not included (false).
satisfy(Manager, String, Interval) - Method in class apron.Abstract1
scalar - Variable in class apron.Lincons0: Optional modulo factor.
scalar - Variable in class apron.Tcons0: Optional modulo factor.
Scalar - Class in apron: Abstract class of coefficients that represent scalar real numbers.
Scalar() - Constructor for class apron.Scalar
SCALAR_DOUBLE - Static variable in class apron.Manager
SCALAR_MPFR - Static variable in class apron.Manager
SCALAR_MPQ - Static variable in class apron.Manager
scan0(int) - Method in class gmp.Mpz: Returns the position of the first bit set to 0 at or after position pos.
scan1(int) - Method in class gmp.Mpz: Returns the position of the first bit set to 1 at or after position pos.
sec(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the secant of op.
sech(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the hyperbolic secant of op.
Seed(int) - Method in class gmp.RandState: Sets an initial seed value for the state.
Seed(Mpz) - Method in class gmp.RandState: Sets an initial seed value for the state.
serialize(Manager) - Method in class apron.Abstract0: Converts the abstract element to a byte array.
serialize(Manager) - Method in class apron.Abstract1: Converts the abstract element to a byte array.
set(double) - Method in class apron.DoubleScalar: Copies the value of x into this.
set(double) - Method in class gmp.Mpq: Sets this to the double number.
set(double) - Method in class gmp.Mpz: Sets this to a double.
set(double, int) - Method in class apron.MpfrScalar: Copies the value of x into this.
set(double, int) - Method in class gmp.Mpfr: Sets this to a double (with rounding).
set(int) - Method in class apron.DoubleScalar: Sets this to x.
set(int) - Method in class apron.MpfrScalar: Sets this to x.
set(int) - Method in class apron.MpqScalar: Sets this to x.
set(int) - Method in class apron.Scalar: Sets the scalar to an integer, without changing its kind.
set(int) - Method in class gmp.Mpq: Sets this to the integer op.
set(int) - Method in class gmp.Mpz: Sets this to an integer.
set(int, byte[]) - Method in class gmp.Mpz: Sets the value of this given a magnitude and a sign.
set(int, int) - Method in class apron.MpqScalar: Sets this to the fraction num/den.
set(int, int) - Method in class gmp.Mpfr: Sets this to an integer (with rounding).
set(int, int) - Method in class gmp.Mpq: Sets this to num/den.
set(int, int, int) - Method in class gmp.Mpfr: Sets this to a v*2^e (with rounding).
set(DoubleScalar) - Method in class apron.DoubleScalar: Copies the value of x into this.
set(MpfrScalar) - Method in class apron.MpfrScalar: Copies the value of x into this.
set(MpqScalar) - Method in class apron.MpqScalar: Copies the value of x into this.
set(Mpfr) - Method in class apron.MpfrScalar: Copies the value of x into this.
set(Mpfr) - Method in class gmp.Mpfr: Copies v into this, changing the precision of this to match that of v.
set(Mpfr, int) - Method in class apron.MpfrScalar: Copies the value of x into this.
set(Mpfr, int) - Method in class gmp.Mpfr: Copies v into this (with rounding).
set(Mpq) - Method in class apron.MpqScalar: Copies the value of x into this.
set(Mpq) - Method in class gmp.Mpq: Copies the argument into this.
set(Mpq, int) - Method in class gmp.Mpfr: Sets this to a fraction (with rounding).
set(Mpz) - Method in class apron.MpqScalar: Copies the value of x into this.
set(Mpz) - Method in class gmp.Mpq: Sets this to the integer op.
set(Mpz) - Method in class gmp.Mpz: Copies the argument into this.
set(Mpz, int) - Method in class gmp.Mpfr: Sets this to an integer (with rounding).
set(Mpz, Mpz) - Method in class gmp.Mpq: Sets this to num/den.
set(String) - Method in class gmp.Mpq: Sets this to the String s.
set(String) - Method in class gmp.Mpz: Sets this to the String s.
set(String, int) - Method in class gmp.Mpfr: Sets this to the number represented in the decimal String s (with rounding).
set(String, int) - Method in class gmp.Mpq: Sets this to the String s expressed in base b.
set(String, int) - Method in class gmp.Mpz: Sets this to the String s expressed in base b.
set(String, int, int) - Method in class gmp.Mpfr: Sets this to the number represented in the String s in base b (with rounding).
set(BigInteger) - Method in class apron.MpqScalar: Sets this to x.
set(BigInteger) - Method in class gmp.Mpq: Sets this to the integer op.
set(BigInteger) - Method in class gmp.Mpz: Sets this to a Java big integer.
set(BigInteger, int) - Method in class gmp.Mpfr: Sets this to an integer (with rounding).
set(BigInteger, BigInteger) - Method in class apron.MpqScalar: Sets this to the fraction num/den.
set(BigInteger, BigInteger) - Method in class gmp.Mpq: Sets this to num/den.
setAlgorithm(int, int) - Method in class apron.Manager: Sets the current precision level for the given operation
setArgument(Texpr0Node) - Method in class apron.Texpr0UnNode
setArgument(Texpr1Node) - Method in class apron.Texpr1UnNode
setBit(int) - Method in class gmp.Mpz: Sets the pos-th bit to 1 in this.
setBottom() - Method in class apron.Interval: Sets the interval to [1, -1], without changing the bound types.
setCoeff(int, Coeff) - Method in class apron.Lincons0: Sets the coefficient of dimension dim to c.
setCoeff(int, Coeff) - Method in class apron.Linexpr0: Sets the coefficient of dimension dim to c.
setCoeff(Linterm0[]) - Method in class apron.Lincons0: Sets several dimension coefficients at the same time.
setCoeff(Linterm0[]) - Method in class apron.Linexpr0: Sets several dimension coefficients at the same time.
setCoeff(Linterm1[]) - Method in class apron.Lincons1: Sets several variable coefficients at the same time.
setCoeff(Linterm1[]) - Method in class apron.Linexpr1: Sets several variable coefficients at the same time.
setCoeff(Var, Coeff) - Method in class apron.Lincons1: Sets the coefficient of variable var to c.
setCoeff(Var, Coeff) - Method in class apron.Linexpr1: Sets the coefficient of variable var to c.
setCoeff(String, Coeff) - Method in class apron.Lincons1
setCoeff(String, Coeff) - Method in class apron.Linexpr1
setCoeffcient(Coeff) - Method in class apron.Linterm0
setCoeffcient(Coeff) - Method in class apron.Linterm1
setConstant(Coeff) - Method in class apron.Texpr0CstNode
setConstant(Coeff) - Method in class apron.Texpr1CstNode
setCoordinate(Linexpr0) - Method in class apron.Generator0
setCst(Coeff) - Method in class apron.Lincons0: Sets the constant coefficient to c.
setCst(Coeff) - Method in class apron.Lincons1: Sets the constant coefficient to c.
setCst(Coeff) - Method in class apron.Linexpr0: Sets the constant coefficient to c.
setCst(Coeff) - Method in class apron.Linexpr1: Sets the constant coefficient to c.
setDefaultPrec(int) - Static method in class gmp.Mpfr: Sets the default precision to exactly prec bits.
setDen(int) - Method in class gmp.Mpq: Changes the denominator of this.
setDen(Mpz) - Method in class gmp.Mpq: Changes the denominator of this.
setDen(BigInteger) - Method in class gmp.Mpq: Changes the denominator of this.
setDimension(int) - Method in class apron.Linterm0
setDimension(int) - Method in class apron.Texpr0DimNode
setElem(int, int) - Method in class apron.Dimperm: Changes the permutation so that i maps to dim.
setEmax(long) - Static method in class gmp.Mpfr: Sets the current largest exponent allowed for a for a floating-point variable.
setEmin(long) - Static method in class gmp.Mpfr: Sets the current smallest exponent allowed for a for a floating-point variable.
setERangeFlag() - Static method in class gmp.Mpfr: Sets the erange (invalid range) flag.
setExp(int) - Method in class gmp.Mpfr: Sets the exponent of this to e.
setExpression(Linexpr0) - Method in class apron.Lincons0: Sets the left expression.
setExpression(Texpr0Intern) - Method in class apron.Tcons0: Sets the left expression.
setFlagBestWanted(int, boolean) - Method in class apron.Manager: Whether the given operation (Manager.FUNID_COPY, etc.)
setFlagExactWanted(int, boolean) - Method in class apron.Manager: Whether the given operation (Manager.FUNID_COPY, etc.)
setId() - Method in class apron.Dimperm: Sets this to the identity permutation.
setInexFlag() - Static method in class gmp.Mpfr: Sets the inexact flag.
setInf(int) - Method in class gmp.Mpfr: Sets this to a signed infinity.
setInf(Scalar) - Method in class apron.Interval: Sets the lower bound.
setInfty(int) - Method in class apron.DoubleScalar: Sets the scalar to +oo or -oo.
setInfty(int) - Method in class apron.MpfrScalar: Sets the scalar to +oo or -oo.
setInfty(int) - Method in class apron.MpqScalar: Sets the scalar to +oo or -oo.
setInfty(int) - Method in class apron.Scalar: Sets the scalar to +oo or -oo.
setIntegerDimension(int) - Method in class apron.Dimension
setKind(int) - Method in class apron.Generator0
setKind(int) - Method in class apron.Lincons0: Sets the constraint kind.
setKind(int) - Method in class apron.Lincons1: Changes the kind of constraint.
setKind(int) - Method in class apron.Tcons0: Sets the constraint kind.
setKind(int) - Method in class apron.Tcons1: Changes the kind of constraint.
setKind(String) - Method in class apron.Pplite: Sets specific implementation of polyhedra domain; this should be called before creating objects, since the different implementations are incompatible.
setLeftArgument(Texpr0Node) - Method in class apron.Texpr0BinNode
setLeftArgument(Texpr1Node) - Method in class apron.Texpr1BinNode
setMaxObjectSize(int, int) - Method in class apron.Manager: Sets a size limit on the memory used by the given operation (Manager.FUNID_COPY, etc.).
setNaN() - Method in class gmp.Mpfr: Sets this to NaN.
setNaNFlag() - Static method in class gmp.Mpfr: Sets the invalid flag.
setNum(int) - Method in class gmp.Mpq: Changes the numerator of this.
setNum(Mpz) - Method in class gmp.Mpq: Changes the numerator of this.
setNum(BigInteger) - Method in class gmp.Mpq: Changes the numerator of this.
setOperation(int) - Method in class apron.Texpr0BinNode
setOperation(int) - Method in class apron.Texpr0UnNode
setOperation(int) - Method in class apron.Texpr1BinNode
setOperation(int) - Method in class apron.Texpr1UnNode
setOverflow() - Static method in class gmp.Mpfr: Sets the overflow flag.
setPrec(int) - Method in class gmp.Mpfr: Changes the precision of this to exactly prec bits.
setPreferedScalarType(int) - Method in class apron.Manager: Sets a preferred scalar type (Manager.SCALAR_DOUBLE, etc.).
setRealDimension(int) - Method in class apron.Dimension
setRightArgument(Texpr0Node) - Method in class apron.Texpr0BinNode
setRightArgument(Texpr1Node) - Method in class apron.Texpr1BinNode
setRoundingDirection(int) - Method in class apron.Texpr0BinNode
setRoundingDirection(int) - Method in class apron.Texpr0UnNode
setRoundingDirection(int) - Method in class apron.Texpr1BinNode
setRoundingDirection(int) - Method in class apron.Texpr1UnNode
setRoundingType(int) - Method in class apron.Texpr0BinNode
setRoundingType(int) - Method in class apron.Texpr0UnNode
setRoundingType(int) - Method in class apron.Texpr1BinNode
setRoundingType(int) - Method in class apron.Texpr1UnNode
setScalar(Scalar) - Method in class apron.Lincons0: Sets the optional modulo factor (may be null).
setScalar(Scalar) - Method in class apron.Lincons1: Sets the optional modulo factor (may be null).
setScalar(Scalar) - Method in class apron.Tcons0: Sets the optional modulo factor (may be null).
setScalar(Scalar) - Method in class apron.Tcons1: Sets the optional modulo factor (may be null).
setSign(Mpfr, boolean, int) - Method in class gmp.Mpfr: Sets this to op (rounded) and then sets the bit-sign of this to s.
setSup(Scalar) - Method in class apron.Interval: Sets the upper bound.
setTimeout(int, int) - Method in class apron.Manager: Sets a timeout for the given operation (Manager.FUNID_COPY, etc.).
setTop() - Method in class apron.Interval: Sets the interval to [-oo, +oo], without changing the bound types.
setUnderflow() - Static method in class gmp.Mpfr: Sets the underflow flag.
setVariable(Var) - Method in class apron.Linterm1
setVariable(Var) - Method in class apron.Texpr1VarNode
setVariable(String) - Method in class apron.Linterm1
setVariable(String) - Method in class apron.Texpr1VarNode
setWidenSpec(String) - Method in class apron.Pplite: Sets the widening specification used by domains; legal values are: - "safe": the Cousot and Cousot POPL77 specification, which does not assume the inclusion between arguments; - "risky": the Cousot and Cousot PLILP92 footnote 6 alternative specification, assuming the inclusion between arguments.
sgn() - Method in class apron.DoubleScalar: Returns the sign of this.
sgn() - Method in class apron.MpfrScalar: Returns the sign of this.
sgn() - Method in class apron.MpqScalar: Returns the sign of this.
sgn() - Method in class apron.Scalar: Returns the sign of this.
sgn() - Method in class gmp.Mpfr: Returns a positive value if this is positive, negative if this is negative, and null if this is zero or NaN.
sgn() - Method in class gmp.Mpq: Returns +1, 0, or -1 when this is respectively strictly positive, null, or strictly negative.
sgn() - Method in class gmp.Mpz: Returns +1, 0, or -1 when this is respectively strictly positive, null, or strictly negative.
shallowCopy() - Method in class apron.Texpr0BinNode
shallowCopy() - Method in class apron.Texpr0CstNode
shallowCopy() - Method in class apron.Texpr0DimNode
shallowCopy() - Method in class apron.Texpr0Node: Shallow copy.
shallowCopy() - Method in class apron.Texpr0UnNode
shallowCopy() - Method in class apron.Texpr1BinNode
shallowCopy() - Method in class apron.Texpr1CstNode
shallowCopy() - Method in class apron.Texpr1Node: Shallow copy.
shallowCopy() - Method in class apron.Texpr1UnNode
shallowCopy() - Method in class apron.Texpr1VarNode
Short introduction - Search tag in package apron: Section
signBit() - Method in class gmp.Mpfr: Returns true if this has its sign bit set.
sin(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the sine of op.
sinCos(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to the sine of op, and c to its cosine.
sinh(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the hyperbolic sine of op.
sinhCosh(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to the hyperbolic sine of op, and c to its hyperbolic cosine.
size() - Method in class gmp.Mpq: Returns the size (in GMP limbs) of the internal representation of this.
size() - Method in class gmp.Mpz: Returns the size (in GMP limbs) of the internal representation of this.
sizeInBase(int) - Method in class gmp.Mpz: Returns the number of digits necessary to represent |this| in base b.
split(Abstract0, Lincons0, boolean, boolean) - Method in class apron.Pplite: Splits element a using (non-interval) linear inequality constraint c.
sqrt() - Method in class gmp.Mpz: Takes the truncated square root of this.
sqrt(int) - Method in class gmp.Mpfr: Takes the square root of this.
sqrt(int, int) - Method in class gmp.Mpfr: Sets this to the square root of op.
sqrt(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the square root of op.
sqrt(Mpz) - Method in class gmp.Mpz: Stores the truncated square root of op into this.
sqrt(Mpz, Mpz) - Method in class gmp.Mpz: Stores the square root of op into this, truncated, and the remainder op-this^2 into r.
StringVar - Class in apron
StringVar(String) - Constructor for class apron.StringVar
sub(double, int) - Method in class gmp.Mpfr: Subtracts op from this.
sub(double, Mpfr, int) - Method in class gmp.Mpfr: Sets this to op1-op2.
sub(int) - Method in class gmp.Mpz: Subtracts arg from this.
sub(int, int) - Method in class gmp.Mpfr: Subtracts op from this.
sub(int, Mpfr, int) - Method in class gmp.Mpfr: Sets this to op1-op2.
sub(int, Mpz) - Method in class gmp.Mpz: Stores arg1-arg2 into this.
sub(Mpfr, double, int) - Method in class gmp.Mpfr: Sets this to op1-op2.
sub(Mpfr, int) - Method in class gmp.Mpfr: Subtracts op from this.
sub(Mpfr, int, int) - Method in class gmp.Mpfr: Sets this to op1-op2.
sub(Mpfr, Mpfr, int) - Method in class gmp.Mpfr: Sets this to op1-op2.
sub(Mpfr, Mpq, int) - Method in class gmp.Mpfr: Sets this to op1-op2.
sub(Mpfr, Mpz, int) - Method in class gmp.Mpfr: Sets this to op1-op2.
sub(Mpq) - Method in class gmp.Mpq: Subtracts arg from this.
sub(Mpq, int) - Method in class gmp.Mpfr: Subtracts op from this.
sub(Mpq, Mpq) - Method in class gmp.Mpq: Stores arg1-arg2 into this.
sub(Mpz) - Method in class gmp.Mpz: Subtracts arg from this.
sub(Mpz, int) - Method in class gmp.Mpfr: Subtracts op from this.
sub(Mpz, int) - Method in class gmp.Mpz: Stores arg1-arg2 into this.
sub(Mpz, Mpz) - Method in class gmp.Mpz: Stores arg1-arg2 into this.
subMul(Mpz, int) - Method in class gmp.Mpz: Stores this-arg1*arg2 into this.
subMul(Mpz, Mpz) - Method in class gmp.Mpz: Stores this-arg1*arg2 into this.
subNormalize(int, int) - Method in class gmp.Mpfr: Rounds this to emulate subnormal arithmetic.
subRev(double, int) - Method in class gmp.Mpfr: Stores op-this into this.
subRev(int) - Method in class gmp.Mpz: Replaces this with arg-this.
subRev(int, int) - Method in class gmp.Mpfr: Stores op-this into this.
subRev(Mpq) - Method in class gmp.Mpq: Replaces this with arg-this.
substitute(int, Texpr0Intern) - Method in class apron.Tcons0: Substitutes all occurrences of the dimension dim with the tree t.
substitute(int, Texpr0Intern) - Method in class apron.Texpr0Intern: Substitutes all occurrences of the dimension dim with the expression tree t.
substitute(int, Texpr0Node) - Method in class apron.Texpr0BinNode
substitute(int, Texpr0Node) - Method in class apron.Texpr0CstNode
substitute(int, Texpr0Node) - Method in class apron.Texpr0DimNode
substitute(int, Texpr0Node) - Method in class apron.Texpr0Node: Substitutes all occurrences of the dimension dim with the expression tree t.
substitute(int, Texpr0Node) - Method in class apron.Texpr0UnNode
substitute(Manager, int[], Linexpr0[], Abstract0) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) this after substituting dim[i] with ar[i], in parallel.
substitute(Manager, int[], Texpr0Intern[], Abstract0) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) this after substituting dim[i] with ar[i], in parallel.
substitute(Manager, int, Linexpr0, Abstract0) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) this after substituting dim with expr.
substitute(Manager, int, Texpr0Intern, Abstract0) - Method in class apron.Abstract0: Replaces this with (an over-approximation of) this after substituting dim with expr.
substitute(Manager, Var[], Linexpr1[], Abstract1) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) this after substituting var[i] with ar[i], in parallel.
substitute(Manager, Var[], Texpr1Intern[], Abstract1) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) this after substituting var[i] with ar[i], in parallel.
substitute(Manager, Var, Linexpr1, Abstract1) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) this after substituting var with expr.
substitute(Manager, Var, Texpr1Intern, Abstract1) - Method in class apron.Abstract1: Replaces this with (an over-approximation of) this after substituting var with expr.
substitute(Manager, String[], Linexpr1[], Abstract1) - Method in class apron.Abstract1
substitute(Manager, String[], Texpr1Intern[], Abstract1) - Method in class apron.Abstract1
substitute(Manager, String, Linexpr1, Abstract1) - Method in class apron.Abstract1
substitute(Manager, String, Texpr1Intern, Abstract1) - Method in class apron.Abstract1
substitute(Var, Texpr1Intern) - Method in class apron.Tcons1: Substitutes all occurrences of the variable var with the expression tree t.
substitute(Var, Texpr1Intern) - Method in class apron.Texpr1Intern: Substitutes all occurrences of the variable var with the expression tree t.
substitute(Var, Texpr1Node) - Method in class apron.Texpr1BinNode
substitute(Var, Texpr1Node) - Method in class apron.Texpr1CstNode
substitute(Var, Texpr1Node) - Method in class apron.Texpr1Node: Substitutes all occurrences of the variable var with the tree t.
substitute(Var, Texpr1Node) - Method in class apron.Texpr1UnNode
substitute(Var, Texpr1Node) - Method in class apron.Texpr1VarNode
substitute(String, Texpr1Intern) - Method in class apron.Tcons1
substitute(String, Texpr1Intern) - Method in class apron.Texpr1Intern
substitute(String, Texpr1Node) - Method in class apron.Texpr1Node
substitute(String, Texpr1Node) - Method in class apron.Texpr1VarNode
substituteCopy(int, Texpr0Intern) - Method in class apron.Tcons0: Returns a copy of this where all occurrences of the dimension dim are substituted with the expression tree t.
substituteCopy(int, Texpr0Intern) - Method in class apron.Texpr0Intern: Returns a copy of this where all occurrences of the dimension dim are substituted with the expression tree t.
substituteCopy(int, Texpr0Node) - Method in class apron.Texpr0Node: Returns a copy of this where all occurrences of the dimension dim are substituted with the expression tree t.
substituteCopy(Manager, int[], Linexpr0[], Abstract0) - Method in class apron.Abstract0: Returns a new element containing (an over-approximation of) this after substituting dim[i] with ar[i], in parallel.
substituteCopy(Manager, int[], Texpr0Intern[], Abstract0) - Method in class apron.Abstract0: Returns a new element containing (an over-approximation of) this after substituting dim[i] with ar[i], in parallel.
substituteCopy(Manager, int, Linexpr0, Abstract0) - Method in class apron.Abstract0: Returns a new element containing (an over-approximation of) this after substituting dim with expr.
substituteCopy(Manager, int, Texpr0Intern, Abstract0) - Method in class apron.Abstract0: Returns a new element containing (an over-approximation of) this after substituting dim with expr.
substituteCopy(Manager, Var[], Linexpr1[], Abstract1) - Method in class apron.Abstract1: Returns a new element containing (an over-approximation of) this after substituting var[i] with ar[i], in parallel.
substituteCopy(Manager, Var[], Texpr1Intern[], Abstract1) - Method in class apron.Abstract1: Returns a new element containing (an over-approximation of) this after substituting var[i] with ar[i], in parallel.
substituteCopy(Manager, Var, Linexpr1, Abstract1) - Method in class apron.Abstract1: Returns a new element containing (an over-approximation of) this after substituting var with expr.
substituteCopy(Manager, Var, Texpr1Intern, Abstract1) - Method in class apron.Abstract1: Returns a new element containing (an over-approximation of) this after substituting var with expr.
substituteCopy(Manager, String[], Texpr1Intern[], Abstract1) - Method in class apron.Abstract1
substituteCopy(Manager, String, Linexpr1, Abstract1) - Method in class apron.Abstract1
substituteCopy(Manager, String, Texpr1Intern, Abstract1) - Method in class apron.Abstract1
substituteCopy(Var, Texpr1Intern) - Method in class apron.Tcons1: Returns a copy of this where all occurrences of the variable var are substituted with the expression tree t.
substituteCopy(Var, Texpr1Intern) - Method in class apron.Texpr1Intern: Returns a copy of this where all occurrences of the variable var are substituted with the expression tree t.
substituteCopy(Var, Texpr1Node) - Method in class apron.Texpr1Node: Returns a copy of this where all occurrences of the variable var are substituted with the expression tree t.
substituteCopy(String, Texpr1Intern) - Method in class apron.Tcons1
substituteCopy(String, Texpr1Intern) - Method in class apron.Texpr1Intern
substituteCopy(String, Texpr1Node) - Method in class apron.Texpr1Node
suffixRDir(int) - Static method in class apron.Texpr0Node: Suffix String representation of a rounding direction.
suffixRType(int) - Static method in class apron.Texpr0Node: Suffix String representation of a rounding type.
sum(Mpfr[], int) - Method in class gmp.Mpfr: Stores into this the sum of an array or Mpfr (correctly rounded).
sup - Variable in class apron.Interval: (Mutable) upper bound.
sup() - Method in class apron.Coeff: Returns a reference to the upper bound of this.
sup() - Method in class apron.Interval: Returns a reference to the upper bound of this.
sup() - Method in class apron.Scalar: Returns a reference to the upper bound of this, i.e., this itself.
SUP - Static variable in class apron.Lincons0: Strict inequality constraint: expr > 0.
SUP - Static variable in class apron.Lincons1: Strict inequality constraint: expr > 0.
SUP - Static variable in class apron.Tcons0: Strict inequality constraint: expr > 0.
SUP - Static variable in class apron.Tcons1: Strict inequality constraint: expr > 0.
SUPEQ - Static variable in class apron.Lincons0: Inequality constraint: expr >= 0.
SUPEQ - Static variable in class apron.Lincons1: Inequality constraint: expr >= 0.
SUPEQ - Static variable in class apron.Tcons0: Inequality constraint: expr >= 0.
SUPEQ - Static variable in class apron.Tcons1: Inequality constraint: expr >= 0.

T

tan(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the tangent of op.
Tcons0 - Class in apron: Class of level 0 constraints on arbitrary expressions.
Tcons0(int, Texpr0Intern) - Constructor for class apron.Tcons0: Constructs a constraint with given kind and e as left member.
Tcons0(int, Texpr0Intern, Scalar) - Constructor for class apron.Tcons0: Constructs a constraint with given kind, e as left member, and s as modulo factor.
Tcons0(int, Texpr0Node) - Constructor for class apron.Tcons0: Constructs a constraint with given kind and e as left member.
Tcons0(int, Texpr0Node, Scalar) - Constructor for class apron.Tcons0: Constructs a constraint with given kind, e as left member, and s as modulo factor.
Tcons0(Lincons0) - Constructor for class apron.Tcons0: Converts a linear constraint to a comb-line tree expression constraint.
Tcons0(Tcons0) - Constructor for class apron.Tcons0: Constructs a copy of c.
Tcons1 - Class in apron: Class of level 1 constraints on arbitrary expressions.
Tcons1(int, Texpr1Intern) - Constructor for class apron.Tcons1: Constructs a constraint with given kind and e as left member.
Tcons1(int, Texpr1Intern, Scalar) - Constructor for class apron.Tcons1: Constructs a constraint with given kind, e as left member, and s as modulo factor.
Tcons1(Environment, int, Texpr1Node) - Constructor for class apron.Tcons1: Constructs a constraint with given kind and e as left member.
Tcons1(Environment, int, Texpr1Node, Scalar) - Constructor for class apron.Tcons1: Constructs a constraint with given kind, e as left member, and s as modulo factor.
Tcons1(Environment, Tcons0) - Constructor for class apron.Tcons1: Creates a new Tcons1 from a Tcons0.
Tcons1(Lincons1) - Constructor for class apron.Tcons1: Converts a linear constraint to a comb-line tree expression constraint.
Tcons1(Tcons1) - Constructor for class apron.Tcons1: Constructs a copy of c.
tdivQ(int) - Method in class gmp.Mpz: Divides this by d, rounds towards 0, and returns the remainder.
tdivQ(Mpz) - Method in class gmp.Mpz: Divides this by d and rounds towards 0.
tdivQ(Mpz, int) - Method in class gmp.Mpz: Stores the quotient of n/d rounded towards 0 into this, and returns the remainder.
tdivQ(Mpz, Mpz) - Method in class gmp.Mpz: Stores the quotient of n/d rounded towards 0 into this.
tdivQ2exp(Mpz, int) - Method in class gmp.Mpz: Stores the quotient of n/(2^d) rounded towards 0 into this.
tdivQR(Mpz, Mpz, int) - Method in class gmp.Mpz: Stores the quotient of n/d rounded towards 0 into this, the remainder into r, and returns the remainder.
tdivQR(Mpz, Mpz, Mpz) - Method in class gmp.Mpz: Stores the quotient of n/d rounded towards 0 into this and the remainder into r.
tdivR(int) - Method in class gmp.Mpz: Returns the remainder of of this/d rounded towards 0.
tdivR(Mpz, int) - Method in class gmp.Mpz: Stores the remainder of n/d rounded towards 0 into this, and returns the remainder.
tdivR(Mpz, Mpz) - Method in class gmp.Mpz: Stores the remainder of n/d rounded towards 0 into this.
tdivR2exp(Mpz, int) - Method in class gmp.Mpz: Stores the remainder of n/(2^d) rounded towards 0 into this.
Test - Class in apron: Simple test for the Java Apron binding.
Test - Class in gmp: Simple test for the Java GMP / MPFR binding.
Test() - Constructor for class apron.Test
Test() - Constructor for class gmp.Test
testDomain(Manager) - Static method in class apron.Test
testDomain(Manager) - Static method in class apron.TestPplite
TestPplite - Class in apron: Test ad-hoc PPLite functionality in Java binding
TestPplite() - Constructor for class apron.TestPplite
testSerialize(Object) - Static method in class apron.Test
testSerialize(Object) - Static method in class gmp.Test
Texpr0BinNode - Class in apron: Class of binary operator nodes in Texpr0Node level 0 expression trees.
Texpr0BinNode(int, int, int, Texpr0Node, Texpr0Node) - Constructor for class apron.Texpr0BinNode: Creates a new binary operator node, with the specified operator, rounding type, rounding direction, left and right arguments.
Texpr0BinNode(int, Texpr0Node, Texpr0Node) - Constructor for class apron.Texpr0BinNode: Creates a new binary operator node, with the specified operator, and left and right arguments, and no rounding.
Texpr0CstNode - Class in apron: Class of constant leaves in Texpr0Node level 0 expression trees.
Texpr0CstNode() - Constructor for class apron.Texpr0CstNode: Create a zero constant node (DoubleScalar).
Texpr0CstNode(Coeff) - Constructor for class apron.Texpr0CstNode: Creates a new constant node.
Texpr0DimNode - Class in apron: Class of variable leaves in Texpr0Node level 0 expression trees.
Texpr0DimNode(int) - Constructor for class apron.Texpr0DimNode: Creates a new dimension node, for dimension d.
Texpr0Intern - Class in apron: Class of level 0 expression trees in opaque Apron representation.
Texpr0Intern(Linexpr0) - Constructor for class apron.Texpr0Intern: Converts a linear expression to a comb-like expression tree.
Texpr0Intern(Texpr0Intern) - Constructor for class apron.Texpr0Intern: Deep copy.
Texpr0Intern(Texpr0Node) - Constructor for class apron.Texpr0Intern: Converts a Java concrete tree to an opaque Apron tree (deep copy).
Texpr0Node - Class in apron: Class of level 0 concrete expression trees.
Texpr0Node() - Constructor for class apron.Texpr0Node: No constructor: use constructors from a sub-class.
Texpr0UnNode - Class in apron: Class of unary operator nodes in Texpr0Node level 0 expression trees.
Texpr0UnNode(int, int, int, Texpr0Node) - Constructor for class apron.Texpr0UnNode: Creates a new unary operator node, with the specified operator, rounding type, rounding direction, and argument.
Texpr0UnNode(int, Texpr0Node) - Constructor for class apron.Texpr0UnNode: Creates a new unary operator node, with the specified operator, and argument, and no rounding.
Texpr1BinNode - Class in apron: Class of binary operator nodes in Texpr1Node level 1 expression trees.
Texpr1BinNode(int, int, int, Texpr1Node, Texpr1Node) - Constructor for class apron.Texpr1BinNode: Creates a new binary operator node, with the specified operator, rounding type, rounding direction, left and right arguments.
Texpr1BinNode(int, Texpr1Node, Texpr1Node) - Constructor for class apron.Texpr1BinNode: Creates a new binary operator node, with the specified operator, and left and right arguments, and no rounding.
Texpr1CstNode - Class in apron: Class of constant leaves in Texpr1Node level 1 expression trees.
Texpr1CstNode() - Constructor for class apron.Texpr1CstNode: Create a zero constant node (DoubleScalar).
Texpr1CstNode(Coeff) - Constructor for class apron.Texpr1CstNode: Creates a new constant node.
Texpr1Intern - Class in apron: Class of level 1 expression trees in opaque Apron representation.
Texpr1Intern(Environment, Texpr0Intern) - Constructor for class apron.Texpr1Intern: Creates a new Texpr1Intern from a Texpr0Intern.
Texpr1Intern(Environment, Texpr1Node) - Constructor for class apron.Texpr1Intern: Converts a Java concrete tree to an opaque Apron tree (deep copy).
Texpr1Intern(Linexpr1) - Constructor for class apron.Texpr1Intern: Converts a linear expression to a comb-like expression tree.
Texpr1Intern(Texpr1Intern) - Constructor for class apron.Texpr1Intern: Deep copy.
Texpr1Node - Class in apron: Class of level 1 concrete expression trees.
Texpr1Node() - Constructor for class apron.Texpr1Node: No constructor: use constructors from a sub-class.
Texpr1UnNode - Class in apron: Class of unary operator nodes in Texpr1Node level 1 expression trees.
Texpr1UnNode(int, int, int, Texpr1Node) - Constructor for class apron.Texpr1UnNode: Creates a new unary operator node, with the specified operator, rounding type, rounding direction, and argument.
Texpr1UnNode(int, Texpr1Node) - Constructor for class apron.Texpr1UnNode: Creates a new unary operator node, with the specified operator, and argument, and no rounding.
Texpr1VarNode - Class in apron: Class of variable leaves in Texpr1Node level 1 expression trees.
Texpr1VarNode(Var) - Constructor for class apron.Texpr1VarNode
Texpr1VarNode(String) - Constructor for class apron.Texpr1VarNode: Constructs a new variable leaf.
TimeoutException - Exception Class in apron: Exception thrown by an abstract transfer function when the timeout is exceeded.
TimeoutException() - Constructor for exception class apron.TimeoutException
TimeoutException(String, Manager, int) - Constructor for exception class apron.TimeoutException
toBox(Manager) - Method in class apron.Abstract0: Returns a box describing (an over-approximation of) this.
toBox(Manager) - Method in class apron.Abstract1: Returns a box describing (an over-approximation of) this.
toDisjunctLincons(Abstract0, int) - Method in class apron.Pplite: Returns a set of linear constraints for the n-tn disjunct of a
toDisjunctTcons(Abstract0, int) - Method in class apron.Pplite: Returns a set of constraints for the n-tn disjunct of a
toDouble(double[], int) - Method in class apron.DoubleScalar: Copies the value of this into r (exact).
toDouble(double[], int) - Method in class apron.MpfrScalar: Copies the value of this into r[0] (with rounding).
toDouble(double[], int) - Method in class apron.MpqScalar: Copies the value of this into r[0] (with rounding).
toDouble(double[], int) - Method in class apron.Scalar: Copies the value of this into r[0].
toGenerator(Manager) - Method in class apron.Abstract0: Returns a set of generators describing (an over-approximation of) this.
toGenerator(Manager) - Method in class apron.Abstract1: Returns a set of generators describing (an over-approximation of) this.
toLincons(Manager) - Method in class apron.Abstract0: Returns a set of linear constraints describing (an over-approximation of) this.
toLincons(Manager) - Method in class apron.Abstract1: Returns a set of linear constraints describing (an over-approximation of) this.
toMpfr(Mpfr, int) - Method in class apron.DoubleScalar: Copies the value of this into r (with rounding).
toMpfr(Mpfr, int) - Method in class apron.MpfrScalar: Copies the value of this into r (exact).
toMpfr(Mpfr, int) - Method in class apron.MpqScalar: Copies the value of this into r (with rounding).
toMpfr(Mpfr, int) - Method in class apron.Scalar: Copies the value of this into r.
toMpq(Mpq, int) - Method in class apron.DoubleScalar: Copies the value of this into r (exact, except if NaN).
toMpq(Mpq, int) - Method in class apron.MpfrScalar: Copies the value of this into r (exact, except if NaN)
toMpq(Mpq, int) - Method in class apron.MpqScalar: Copies the value of this into r (exact).
toMpq(Mpq, int) - Method in class apron.Scalar: Copies the value of this into r.
toString() - Method in class apron.Abstract0: Returns a String representation of the element as a list of constraints.
toString() - Method in class apron.Abstract1: Returns a String representation of the element as a list of constraints.
toString() - Method in class apron.Coeff: Returns a string representation of this.
toString() - Method in class apron.Dimchange: Returns a String representation of the change of dimension.
toString() - Method in class apron.Dimension: Returns a String representation of the dimension.
toString() - Method in class apron.Dimperm: Returns a String representation of the permutation.
toString() - Method in class apron.DoubleScalar: Returns a string representation of the value of this.
toString() - Method in class apron.Environment: Returns the list of variable names in the environment, ordered by dimension.
toString() - Method in class apron.Generator0: Returns a string representation of the generator.
toString() - Method in class apron.Generator1: Returns a String representation of the generator.
toString() - Method in class apron.Interval: Returns a string representation of the interval.
toString() - Method in class apron.Lincons0: Returns a string representation of the constraint.
toString() - Method in class apron.Lincons1: Returns a string representation of the constraint.
toString() - Method in class apron.Linexpr0: Returns a string representation of the expression.
toString() - Method in class apron.Linexpr1: Returns a string representation of the expression.
toString() - Method in class apron.Linterm0: Returns a String representation of the linear term.
toString() - Method in class apron.Linterm1: Returns a String representation of the linear term.
toString() - Method in class apron.MpfrScalar: Returns a string representation of the value of this.
toString() - Method in class apron.MpqScalar: Returns a string representation of the value of this.
toString() - Method in class apron.Scalar: Returns a string representation of the Scalar value.
toString() - Method in class apron.StringVar
toString() - Method in class apron.Tcons0: Returns a string representation of the constraint.
toString() - Method in class apron.Tcons1: Returns a string representation of the constraint.
toString() - Method in class apron.Texpr0Intern: Converts the expression tree to a String.
toString() - Method in class apron.Texpr0Node: Converts the expression tree to a String.
toString() - Method in class apron.Texpr1BinNode
toString() - Method in class apron.Texpr1CstNode
toString() - Method in class apron.Texpr1Intern: Converts the expression tree to a String.
toString() - Method in class apron.Texpr1Node: Converts the expression tree to a String.
toString() - Method in class apron.Texpr1UnNode
toString() - Method in class apron.Texpr1VarNode
toString() - Method in class gmp.Mpfr: Returns a String representation of this in base 10 (rounding to nearest).
toString() - Method in class gmp.Mpq: Returns a String representation of this in base 10.
toString() - Method in class gmp.Mpz: Returns a String representation this in base 10.
toString(int) - Method in class gmp.Mpq: Returns a String representation of this in base b.
toString(int) - Method in class gmp.Mpz: Returns a String representation of this in base b.
toString(int, int, int) - Method in class gmp.Mpfr: Returns a String representation (with rounding).
toString(Manager) - Method in class apron.Abstract0: Returns a String representation of the element as a list of constraints.
toString(Manager) - Method in class apron.Abstract1: Returns a String representation of the element as a list of constraints.
toString(Manager, Var[]) - Method in class apron.Abstract0: Returns a String representation of the element as a list of constraints.
toString(Manager, String[]) - Method in class apron.Abstract0
toString(Var[]) - Method in class apron.Generator0: Returns a string representation of the generator.
toString(Var[]) - Method in class apron.Lincons0: Returns a string representation of the constraint.
toString(Var[]) - Method in class apron.Linexpr0: Returns a string representation of the expression.
toString(Var[]) - Method in class apron.Linterm0: Returns a String representation of the linear term.
toString(Var[]) - Method in class apron.Tcons0: Returns a string representation of the constraint.
toString(Var[]) - Method in class apron.Texpr0BinNode
toString(Var[]) - Method in class apron.Texpr0CstNode
toString(Var[]) - Method in class apron.Texpr0DimNode
toString(Var[]) - Method in class apron.Texpr0Intern: Converts the expression tree to a String.
toString(Var[]) - Method in class apron.Texpr0Node: Converts the expression tree to a String.
toString(Var[]) - Method in class apron.Texpr0UnNode
toString(String[]) - Method in class apron.Generator0
toString(String[]) - Method in class apron.Lincons0
toString(String[]) - Method in class apron.Linexpr0
toString(String[]) - Method in class apron.Linterm0
toString(String[]) - Method in class apron.Tcons0
toString(String[]) - Method in class apron.Texpr0Intern
toString(String[]) - Method in class apron.Texpr0Node
toStringRndMode(int) - Static method in class gmp.Mpfr: Returns the name of the rounding mode.
toTcons(Manager) - Method in class apron.Abstract0: Returns a set of constraints describing (an over-approximation of) this.
toTcons(Manager) - Method in class apron.Abstract1: Returns a set of constraints describing (an over-approximation of) this.
toTexpr0Node() - Method in class apron.Tcons0: Converts the expression tree to a concrete Java tree.
toTexpr0Node() - Method in class apron.Texpr0Intern: Converts an opaque Apron tree to a concrete Java tree.
toTexpr0Node(Environment) - Method in class apron.Texpr1BinNode
toTexpr0Node(Environment) - Method in class apron.Texpr1CstNode
toTexpr0Node(Environment) - Method in class apron.Texpr1Node: Converts the level 1 tree to a level 0 tree in the given environment.
toTexpr0Node(Environment) - Method in class apron.Texpr1UnNode
toTexpr0Node(Environment) - Method in class apron.Texpr1VarNode
toTexpr1Node() - Method in class apron.Tcons1: Converts the expression tree to a concrete Java tree.
toTexpr1Node() - Method in class apron.Texpr1Intern: Converts an opaque Apron tree to a concrete Java tree.
toTexpr1Node(Environment) - Method in class apron.Texpr0BinNode
toTexpr1Node(Environment) - Method in class apron.Texpr0CstNode
toTexpr1Node(Environment) - Method in class apron.Texpr0DimNode
toTexpr1Node(Environment) - Method in class apron.Texpr0Node: Converts the level 0 tree to a level 1 tree in environment e.
toTexpr1Node(Environment) - Method in class apron.Texpr0UnNode
trunc(Mpfr) - Method in class gmp.Mpfr: Stores into this, op truncated to a representable integer.
tstBit(int) - Method in class gmp.Mpz: Returns true if the pos-th bit in this is 1.

U

unify(Manager, Abstract1) - Method in class apron.Abstract1: Replaces this with the meet of this and op on their least common environment.
unifyCopy(Manager, Abstract1) - Method in class apron.Abstract1: Returns the meet of this and op on their least common environment.

V

val - Variable in class apron.DoubleScalar: The (mutable) scalar value.
val - Variable in class apron.MpfrScalar: The (mutable) scalar value.
val - Variable in class apron.MpqScalar: The (mutable) scalar value.
var - Variable in class apron.Linterm1: Variable name.
var - Variable in class apron.Texpr1VarNode: Variable name.
Var - Interface in apron: Abstract class for Variables for level 1.
varOfDim(int) - Method in class apron.Environment: Returns the name of the variable at dimension dim.
VERTEX - Static variable in class apron.Generator0: Vertex: { coord }.
VERTEX - Static variable in class apron.Generator1: Vertex: { coord }.

W

Warning - Search tag in package apron: Section
wasBest() - Method in class apron.Manager: Whether the last operation with Manager.setFlagBestWanted(int, boolean) set returned a result which is optimal with respect to the abstraction.
wasExact() - Method in class apron.Manager: Whether the last operation with Manager.setFlagExactWanted(int, boolean) set returned an exact result.
widening(Manager, Abstract0) - Method in class apron.Abstract0: Returns a new element equal to this widened with op.
widening(Manager, Abstract1) - Method in class apron.Abstract1: Returns a new element equal to this widened with op.
wideningThreshold(Manager, Abstract0, Lincons0[]) - Method in class apron.Abstract0: Returns a new element equal to this widened with op, with thresholds constraints set c.
wideningThreshold(Manager, Abstract1, Lincons1[]) - Method in class apron.Abstract1: Returns a new element equal to this widened with op, with thresholds constraints set c.

X

xor(Mpz) - Method in class gmp.Mpz: Stores the bitwise xor of this and op into this.
xor(Mpz, Mpz) - Method in class gmp.Mpz: Stores the bitwise xor of op1 and op2 into this.

Y

y0(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the value of the second kind Bessel function of order 0 at op.
y1(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the value of the second kind Bessel function of order 1 at op.
yn(int, Mpfr, int) - Method in class gmp.Mpfr: Sets this to the value of the second kind Bessel function of order n at op.

Z

zeta(int, int) - Method in class gmp.Mpfr: Sets this to the value of the Riemann Zeta function at op.
zeta(Mpfr, int) - Method in class gmp.Mpfr: Sets this to the value of the Riemann Zeta function at op.

A B C D E F G H I J K L M N O P R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form