All Classes and Interfaces
Class
Description
Class of level 0 numerical abstract values.
Class of level 1 numerical abstract values.
Superclass of Apron-specific exceptions that can be thrown
by numerical abstract domains.
Manager factory for the interval abstract domain.
Abstract class of constant coefficients that can appear in expressions.
Class of dimension change specifications for level 0 objects.
Class of dimension specifications for level 0 objects.
Class of dimension permutations for level 0 objects.
Class of Scalar objects backed up by a double-precision
floating-point number.
Class of environments for level 1 objects.
Class of geometrical features of level 0 linear abstract elements.
Class of geometrical features of level 1 linear abstract elements.
Class of intervals of reals, denoted by a lower and an upper
Scalar bound.Class of level 0 linear constraints.
Class of level 1 linear constraints.
Class of level 0 linear expressions.
Class of level 1 linear expressions.
Class of terms in level 0 linear expressions and constraints.
Class of terms in level 1 linear expressions and constraints.
Class of numerical abstract domain instances.
MPFR multi-precision floating-point numbers.
Class of Scalar objects backed up by a
Mpfr
multi-precision floating-point number.GMP arbitrary precision rationals.
Class of Scalar objects backed up by a
Mpq multi-precision
rational.GMP arbitrary precision integers.
Class of references to numerators and denominator of
Mpq
objects.Exception thrown when calling an abstract transfer
function that is not implemented in the domain.
Manager factory for the octagon abstract domain.
Exception thrown by an abstract transfer function when
the maximum memory consumption is exceeded.
Exception thrown by an abstract transfer function in
case of an arithmetic overflow.
Manager factory for the convex polyhedron abstract domain.
Manager factory for the linear equalities domain.
Manager factory for the Parma Polyhedra Library linear
congruence equalities domain.
Manager factory for the PPLite domains.
Manager factory for the Parma Polyhedra Library convex polyhedra domain.
Pseudo-random number generation states.
Abstract class of coefficients that represent scalar real numbers.
Class of level 0 constraints on arbitrary expressions.
Class of level 1 constraints on arbitrary expressions.
Simple test for the Java Apron binding.
Simple test for the Java GMP / MPFR binding.
Test ad-hoc PPLite functionality in Java binding
Class of binary operator nodes in
Texpr0Node level 0
expression trees.Class of constant leaves in
Texpr0Node level 0
expression trees.Class of variable leaves in
Texpr0Node level 0
expression trees.Class of level 0 expression trees in opaque Apron representation.
Class of level 0 concrete expression trees.
Class of unary operator nodes in
Texpr0Node level 0
expression trees.Class of binary operator nodes in
Texpr1Node level 1
expression trees.Class of constant leaves in
Texpr1Node level 1
expression trees.Class of level 1 expression trees in opaque Apron representation.
Class of level 1 concrete expression trees.
Class of unary operator nodes in
Texpr1Node level 1
expression trees.Class of variable leaves in
Texpr1Node level 1
expression trees.Exception thrown by an abstract transfer function when
the timeout is exceeded.
Abstract class for Variables for level 1.