Frama-C:
Plug-ins:
Libraries:

Frama-C API - Manager

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 = 'a Apron.Manager.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