package mopsa

  1. Overview
  2. Docs
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation

Install 

dune-project
 Dependency

mopsa.lip6.fr Readme Changelog Edit opam file Versions (3)

Authors

  1. A
    Antoine Miné
  2. A
    Abdelraouf Ouadjaout
  3. M
    Matthieu Journault
  4. A
    Aymeric Fromherz
  5. R
    Raphaël Monat
  6. F
    Francesco Parolini
  7. M
    Marco Milanese
  8. J
    Jérôme Boillot

Maintainers

  1. A
    Antoine Miné <antoine.mine@lip6.fr>
  2. A
    Abdelraouf Ouadjaout <ouadjaout@gmail.com>
  3. R
    Raphaël Monat <raphael.monat@inria.fr>

Sources

mopsa-analyzer-v1.1.tar.gz
md5=fdee20e988343751de440b4f6b67c0f4
sha512=f5cbf1328785d3f5ce40155dada2d95e5de5cce4f084ea30cfb04d1ab10cc9403a26cfb3fa55d0f9da72244482130fdb89c286a9aed0d640bba46b7c00e09500

doc/containers/Containers/SetExtPoly/index.html

Module Containers.SetExtPolySource

Sets with polymorphic values

Sourcetype 'a set =
  1. | Empty
  2. | Node of {
    1. l : 'a set;
    2. v : 'a;
    3. r : 'a set;
    4. h : int;
    }
Sourcetype 'a compare = 'a -> 'a -> int
Sourcetype 'a t = {
  1. set : 'a set;
  2. compare : 'a compare;
}
Sourcetype set_printer = {
  1. print_empty : string;
    (*

    Special text for empty sets

    *)
  2. print_begin : string;
    (*

    Text before the first element

    *)
  3. print_sep : string;
    (*

    Text between two elements

    *)
  4. print_end : string;
    (*

    Text after the last element

    *)
}
Sourceval height : 'a set -> int
Sourceval create : 'a set -> 'a -> 'a set -> 'a set
Sourceval bal : 'a set -> 'a -> 'a set -> 'a set
Sourceval add_min_element : 'a -> 'a set -> 'a set
Sourceval add_max_element : 'a -> 'a set -> 'a set
Sourceval join : 'a set -> 'a -> 'a set -> 'a set
Sourceval remove_min_elt : 'a set -> 'a set
Sourceval merge : 'a set -> 'a set -> 'a set
Sourceval concat : 'a set -> 'a set -> 'a set
Sourcetype 'a enumeration =
  1. | End
  2. | More of 'a * 'a set * 'a enumeration
Sourceval cons_enum : 'a set -> 'a enumeration -> 'a enumeration
Sourceval elements_aux : 'a list -> 'a set -> 'a list
Sourceval find_first_aux : 'a -> ('a -> bool) -> 'a set -> 'a
Sourceval find_first_opt_aux : 'a -> ('a -> bool) -> 'a set -> 'a option
Sourceval find_last_aux : 'a -> ('a -> bool) -> 'a set -> 'a
Sourceval find_last_opt_aux : 'a -> ('a -> bool) -> 'a set -> 'a option
Sourceval try_join : ('a -> 'a -> int) -> 'a set -> 'a -> 'a set -> 'a set
Sourceval of_sorted_list : 'a list -> 'a set
Sourceval cut : ('a -> 'b -> int) -> 'a -> 'b set -> 'b set * bool * 'b set
Sourceval iter2 : ('a -> 'b -> int) -> ('a -> 'c) -> ('b -> 'd) -> ('a -> 'c) -> 'a set -> 'b set -> unit
Sourceval fold2 : ('a -> 'b -> int) -> ('a -> 'c -> 'c) -> ('b -> 'c -> 'c) -> ('a -> 'c -> 'c) -> 'a set -> 'b set -> 'c -> 'c
Sourceval for_all2 : ('a -> 'b -> int) -> ('a -> bool) -> ('b -> bool) -> ('a -> bool) -> 'a set -> 'b set -> bool
Sourceval exists2 : ('a -> 'b -> int) -> ('a -> bool) -> ('b -> bool) -> ('a -> bool) -> 'a set -> 'b set -> bool
Sourceval iter2_diff : ('a -> 'a -> int) -> ('a -> unit) -> ('a -> 'b) -> 'a set -> 'a set -> unit
Sourceval fold2_diff : ('a -> 'a -> int) -> ('a -> 'b -> 'b) -> ('a -> 'b -> 'b) -> 'a set -> 'a set -> 'b -> 'b
Sourceval for_all2_diff : ('a -> 'a -> int) -> ('a -> bool) -> ('a -> bool) -> 'a set -> 'a set -> bool
Sourceval exists2_diff : ('a -> 'a -> int) -> ('a -> bool) -> ('a -> bool) -> 'a set -> 'a set -> bool
Sourceval diff_list : ('a -> 'a -> int) -> 'a set -> 'a set -> 'a list
Sourceval sym_diff_list : ('a -> 'a -> int) -> 'a set -> 'a set -> 'a list * 'a list
Sourceval add_sym_diff : ('a -> 'a -> int) -> 'a set -> ('a list * 'a list) -> 'a set
Sourceval iter_slice : ('a -> 'b -> int) -> ('a -> unit) -> 'a set -> 'b -> 'b -> unit
Sourceval fold_slice : ('a -> 'b -> int) -> ('a -> 'c -> 'c) -> 'a set -> 'b -> 'b -> 'c -> 'c
Sourceval for_all_slice : ('a -> 'b -> int) -> ('a -> bool) -> 'a set -> 'b -> 'b -> bool
Sourceval exists_slice : ('a -> 'b -> int) -> ('a -> bool) -> 'a set -> 'b -> 'b -> bool
Sourceval print_gen : ('a -> string -> unit) -> set_printer -> ('a -> 'b -> 'c) -> 'a -> 'b set -> unit
Sourceval print : set_printer -> (Stdlib.out_channel -> 'a -> 'b) -> Stdlib.out_channel -> 'a set -> unit
Sourceval bprint : set_printer -> (Stdlib.Buffer.t -> 'a -> 'b) -> Stdlib.Buffer.t -> 'a set -> unit
Sourceval fprint : set_printer -> (Stdlib.Format.formatter -> 'a -> 'b) -> Stdlib.Format.formatter -> 'a set -> unit
Sourceval to_string : set_printer -> ('a -> string) -> 'a set -> string
Sourceval printer_default : set_printer

MOPSA Print as set: lem1,...,elemn

Sourceval empty : 'a compare -> 'a t
Sourceval is_empty : 'a t -> bool
Sourceval mem : 'a -> 'a t -> bool
Sourceval add : 'a -> 'a t -> 'a t
Sourceval singleton : 'a compare -> 'a -> 'a t
Sourceval remove : 'a -> 'a t -> 'a t
Sourceval union : 'a t -> 'a t -> 'a t
Sourceval inter : 'a t -> 'a t -> 'a t
Sourceval diff : 'a t -> 'a t -> 'a t
Sourceval compare : 'a t -> 'a t -> int
Sourceval equal : 'a t -> 'a t -> bool
Sourceval subset : 'a t -> 'a t -> bool
Sourceval iter : ('a -> 'b) -> 'a t -> unit
Sourceval map : ('a -> 'a) -> 'a t -> 'a t
Sourceval fold : ('a -> 'b -> 'b) -> 'a t -> 'b -> 'b
Sourceval for_all : ('a -> bool) -> 'a t -> bool
Sourceval exists : ('a -> bool) -> 'a t -> bool
Sourceval filter : ('a -> bool) -> 'a t -> 'a t
Sourceval partition : ('a -> bool) -> 'a t -> 'a t * 'a t
Sourceval cardinal : 'a t -> int
Sourceval elements : 'a t -> 'a list
Sourceval min_elt : 'a t -> 'a
Sourceval min_elt_opt : 'a t -> 'a option
Sourceval max_elt : 'a t -> 'a
Sourceval max_elt_opt : 'a t -> 'a option
Sourceval choose : 'a t -> 'a
Sourceval choose_opt : 'a t -> 'a option
Sourceval split : 'a -> 'a t -> 'a t * bool * 'a t
Sourceval find : 'a -> 'a t -> 'a
Sourceval find_opt : 'a -> 'a t -> 'a option
Sourceval find_first : ('a -> bool) -> 'a t -> 'a
Sourceval find_first_opt : ('a -> bool) -> 'a t -> 'a option
Sourceval find_last : ('a -> bool) -> 'a t -> 'a
Sourceval find_last_opt : ('a -> bool) -> 'a t -> 'a option
Sourceval of_list : 'a compare -> 'a list -> 'a t