Module Mvbdu_wrapper

module Mvbdu_wrapper: sig .. end
* mvbdu_wrapper.mli * openkappa * Jérôme Feret, projet Abstraction, INRIA Paris-Rocquencourt * * Creation: 08/03/2010 * Last modification: Time-stamp: <Jul 11 2017> * * * This library provides test benchmarks for the library of sets of finite maps from integers to integers * * Copyright 2010 Institut National de Recherche en Informatique et * en Automatique. All rights reserved. This file is distributed * under the terms of the GNU Library General Public License


API of the multi-valued binary decision diagrams library
module type Mvbdu = sig .. end
module type Internalized_mvbdu = sig .. end
module type Nul = sig .. end
module Internalize: 
functor (M : Mvbdu with type key = int and type value = int) -> Internalized_mvbdu with type mvbdu = M.mvbdu and type key = int and type value = int
module Make: 
functor (M : Nul) -> Mvbdu with type key = int and type value = int
module Mvbdu: Mvbdu  with type key = int and type value = int
module IntMvbdu: Internalized_mvbdu  with type key = int and type value = int and type mvbdu= Mvbdu.mvbdu
module Optimized_Mvbdu: Mvbdu  with type key = int and type value = int
module Optimized_IntMvbdu: Internalized_mvbdu  with type key = int and type value = int