sig
type tbool = False | True | Top
and funid =
Funid_unknown
| Funid_copy
| Funid_free
| Funid_asize
| Funid_minimize
| Funid_canonicalize
| Funid_approximate
| Funid_is_minimal
| Funid_is_canonical
| Funid_fprint
| Funid_fprintdiff
| Funid_fdump
| Funid_serialize_raw
| Funid_deserialize_raw
| Funid_bottom
| Funid_top
| Funid_of_box
| Funid_of_lincons_array
| Funid_dimension
| Funid_is_bottom
| Funid_is_top
| Funid_is_leq
| Funid_is_eq
| Funid_is_dimension_unconstrained
| Funid_sat_interval
| Funid_sat_lincons
| Funid_bound_dimension
| Funid_bound_linexpr
| Funid_to_box
| Funid_to_lincons_array
| Funid_to_generator_array
| Funid_meet
| Funid_meet_array
| Funid_meet_lincons_array
| Funid_join
| Funid_join_array
| Funid_add_ray_array
| Funid_assign_linexpr
| Funid_assign_linexpr_array
| Funid_substitute_linexpr
| Funid_substitute_linexpr_array
| Funid_add_dimensions
| Funid_remove_dimensions
| Funid_permute_dimensions
| Funid_forget_array
| Funid_expand
| Funid_fold
| Funid_widening
| Funid_closure
| Funid_size
| Funid_change_environment
| Funid_rename_array
| Funid_size2
and exc =
Exc_none
| Exc_timeout
| Exc_out_of_space
| Exc_overflow
| Exc_invalid_argument
| Exc_not_implemented
| Exc_size
and funopt = {
algorithm : int;
approx_before : int;
approx_after : int;
timeout : int;
max_object_size : int;
flag_exact_wanted : bool;
flag_best_wanted : bool;
}
and exclog = { exn : Manager.exc; funid : Manager.funid; msg : string; }
and t
external get_library : Manager.t -> string
= "camlidl_manager_ap_manager_get_library"
external get_version : Manager.t -> string
= "camlidl_manager_ap_manager_get_version"
external funopt_make : unit -> Manager.funopt
= "camlidl_manager_ap_funopt_make"
external get_funopt : Manager.t -> Manager.funid -> Manager.funopt
= "camlidl_manager_ap_manager_get_funopt"
external set_funopt : Manager.t -> Manager.funid -> Manager.funopt -> unit
= "camlidl_manager_ap_manager_set_funopt"
external get_flag_exact : Manager.t -> Manager.tbool
= "camlidl_manager_ap_manager_get_flag_exact"
external get_flag_best : Manager.t -> Manager.tbool
= "camlidl_manager_ap_manager_get_flag_best"
exception Error of Manager.exclog
val string_of_tbool : Manager.tbool -> string
val string_of_funid : Manager.funid -> string
val string_of_exc : Manager.exc -> string
val print_tbool : Format.formatter -> Manager.tbool -> unit
external set_deserialize : Manager.t -> unit
= "camlidl_manager_ap_manager_set_deserialize"
external get_deserialize : unit -> Manager.t
= "camlidl_manager_ap_manager_get_deserialize"
end