Index of modules

APRON library

Finite-type expressions/properties on top of CUDD

Finite \& numerical expressions/properties on top of CUDD \& APRON

Intervals abstract domain

Interface to CUDD library

Two-way hashtable between two data types

Two-way map between two ordered data types

Directed graphs, functional API, with two-way information maintained,

Directed graphs, functional API, with one-way information maintained,

GMP random generation functions

Hashtables on type t

Hash module with hyperedges as keys

Hash module with vertices as keys

Hashtable for objects in the first place of bindings

Hashtable for objects in the second place of bindings

To use hashtables on type t

Hash tables and hash functions (extension of standard library module)

Hashhe specialized for keys of type int

Hashhe specialized for keys of type (int,bool)

Hashhe specialized for keys of type string

Imbricated lists

Functor building an implementation of the set structure given a totally ordered type.

Functor building an implementation of the SetList structure given a totally ordered type.

Functor building an implementation of the MultiSetList structure given a totally ordered type.

Functor building an implementation of the map structure given a totally ordered type.

Functor building an implementation of the hashtable structure.

Functor building an implementation of the DMappe structure given two map structures.

Functor building an implementation of the DHashtbl structure given two hashtables

Functor building an implementation of the weak hash table structure.

Maps on type t

Map module for associating attributes to edges, of type MapV.key * MapV.key

The Map for edges

Map module for associating attributes to edges, of type MapV.key * MapV.key

The Map for edges

Map module for associating attributes to vertices, of type MapV.key

The Map for vertices

Map module for associating attributes to vertices, of type MapV.key

The Map for vertices

Association tables over ordered types (extension of standard library module and polymorphic variant)

Mappe specialized for keys of type int

Mappe specialized for keys of type string

GMP multi-precision floating-point numbers

MPFR multi-precision floating-point numbers

MPFR multi-precision floating-point version, functional version

GMP multi-precision rationals

GMP multi-precision rationals, functional version

GMP multi-precision integers

GMP multi-precision integers, functional version

Multisets implemented with lists

Opened signature

Opened signature

Octagon abstract domain.

The ordering module used for this set module.

To use sets or maps on type t

Two-way hashtable between two data types, parametrized polymorpphic version

Two-way map between two ordered data types, parametrized polymorphic version

Hash tables, parametrized polymorphic version

Association tables over ordered types, parametrized polymorphic version

Oriented hypergraphs, parametrized polymorphic version.

Sets over ordered types, parametrized polymorphic version

Linking lexer and parser function, with (basic) error messages

Convex Polyhedra and Linear Equalities abstract domains

Reduced product of NewPolka polyhedra and PPL grids

Convex Polyhedra and Linear Congruences abstract domains (PPL wrapper)

Printing functions using module Format

Rational numbers

Oriented hypergraphs

Sets on type t

The type of sets of edges

The type of sets of edges

Set module for hyperedges

Sets over totally ordered type with lists.

Set module for vertices

The type of sets of vertices

The type of sets of vertices

Sets over ordered types (extension of standard library module and polymorphic variant)

Sette specialized for keys of type int

Sette specialized for keys of type string

Standard statistics functions

Symbol table, for string management

Taylor1+ abstract domain (beta version)

Small module to compute the duration of computations

Union-find Abstract Data Types