package mopsa

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

Install

Dune Dependency

gitlab.com Readme Changelog Edit opam file Versions (2)

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.0.tar.gz
md5=9f673f79708b44a7effb3b6bb3618d2c
sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4

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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct