package apron

  1. Overview
  2. Docs
type funid =
  1. | Funid_unknown
  2. | Funid_copy
  3. | Funid_free
  4. | Funid_asize
  5. | Funid_minimize
  6. | Funid_canonicalize
  7. | Funid_hash
  8. | Funid_approximate
  9. | Funid_fprint
  10. | Funid_fprintdiff
  11. | Funid_fdump
  12. | Funid_serialize_raw
  13. | Funid_deserialize_raw
  14. | Funid_bottom
  15. | Funid_top
  16. | Funid_of_box
  17. | Funid_dimension
  18. | Funid_is_bottom
  19. | Funid_is_top
  20. | Funid_is_leq
  21. | Funid_is_eq
  22. | Funid_is_dimension_unconstrained
  23. | Funid_sat_interval
  24. | Funid_sat_lincons
  25. | Funid_sat_tcons
  26. | Funid_bound_dimension
  27. | Funid_bound_linexpr
  28. | Funid_bound_texpr
  29. | Funid_to_box
  30. | Funid_to_lincons_array
  31. | Funid_to_tcons_array
  32. | Funid_to_generator_array
  33. | Funid_meet
  34. | Funid_meet_array
  35. | Funid_meet_lincons_array
  36. | Funid_meet_tcons_array
  37. | Funid_join
  38. | Funid_join_array
  39. | Funid_add_ray_array
  40. | Funid_assign_linexpr_array
  41. | Funid_substitute_linexpr_array
  42. | Funid_assign_texpr_array
  43. | Funid_substitute_texpr_array
  44. | Funid_add_dimensions
  45. | Funid_remove_dimensions
  46. | Funid_permute_dimensions
  47. | Funid_forget_array
  48. | Funid_expand
  49. | Funid_fold
  50. | Funid_widening
  51. | Funid_closure
  52. | Funid_change_environment
  53. | Funid_rename_array
and funopt = {
  1. algorithm : int;
  2. timeout : int;
  3. max_object_size : int;
  4. flag_exact_wanted : bool;
  5. flag_best_wanted : bool;
}
and exc =
  1. | Exc_none
  2. | Exc_timeout
  3. | Exc_out_of_space
  4. | Exc_overflow
  5. | Exc_invalid_argument
  6. | Exc_not_implemented
and exclog = {
  1. exn : exc;
  2. funid : funid;
  3. msg : string;
}
and 'a t
val get_library : 'a t -> string
val get_version : 'a t -> string
val funopt_make : unit -> funopt
val get_funopt : 'a t -> funid -> funopt
val set_funopt : 'a t -> funid -> funopt -> unit
val get_flag_exact : 'a t -> bool
val get_flag_best : 'a t -> bool
exception Error of exclog
val string_of_funid : funid -> string
val string_of_exc : exc -> string
val print_funid : Stdlib.Format.formatter -> funid -> unit
val print_funopt : Stdlib.Format.formatter -> funopt -> unit
val print_exc : Stdlib.Format.formatter -> exc -> unit
val print_exclog : Stdlib.Format.formatter -> exclog -> unit
val set_deserialize : 'a t -> unit
val get_deserialize : unit -> '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