sig
type 'a t = {
mutable abstract0 : 'a Abstract0.t;
mutable env : Environment.t;
}
type box1 = {
mutable interval_array : Interval.t array;
mutable box1_env : Environment.t;
}
val copy : 'a Manager.t -> 'a Abstract1.t -> 'a Abstract1.t
val size : 'a Manager.t -> 'a Abstract1.t -> int
val minimize : 'a Manager.t -> 'a Abstract1.t -> unit
val canonicalize : 'a Manager.t -> 'a Abstract1.t -> unit
val hash : 'a Manager.t -> 'a Abstract1.t -> int
val approximate : 'a Manager.t -> 'a Abstract1.t -> int -> unit
external fdump : 'a Manager.t -> 'a Abstract1.t -> unit
= "camlidl_abstract1_ap_abstract1_fdump"
val print : Stdlib.Format.formatter -> 'a Abstract1.t -> unit
external bottom : 'a Manager.t -> Environment.t -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_bottom"
external top : 'a Manager.t -> Environment.t -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_top"
external of_box :
'a Manager.t ->
Environment.t -> Var.t array -> Interval.t array -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_of_box"
val manager : 'a Abstract1.t -> 'a Manager.t
val env : 'a Abstract1.t -> Environment.t
val abstract0 : 'a Abstract1.t -> 'a Abstract0.t
val is_bottom : 'a Manager.t -> 'a Abstract1.t -> bool
val is_top : 'a Manager.t -> 'a Abstract1.t -> bool
external is_leq : 'a Manager.t -> 'a Abstract1.t -> 'a Abstract1.t -> bool
= "camlidl_abstract1_ap_abstract1_is_leq"
external is_eq : 'a Manager.t -> 'a Abstract1.t -> 'a Abstract1.t -> bool
= "camlidl_abstract1_ap_abstract1_is_eq"
external sat_lincons : 'a Manager.t -> 'a Abstract1.t -> Lincons1.t -> bool
= "camlidl_abstract1_ap_abstract1_sat_lincons"
external sat_tcons : 'a Manager.t -> 'a Abstract1.t -> Tcons1.t -> bool
= "camlidl_abstract1_ap_abstract1_sat_tcons"
external sat_interval :
'a Manager.t -> 'a Abstract1.t -> Var.t -> Interval.t -> bool
= "camlidl_abstract1_ap_abstract1_sat_interval"
external is_variable_unconstrained :
'a Manager.t -> 'a Abstract1.t -> Var.t -> bool
= "camlidl_abstract1_ap_abstract1_is_variable_unconstrained"
external bound_variable :
'a Manager.t -> 'a Abstract1.t -> Var.t -> Interval.t
= "camlidl_abstract1_ap_abstract1_bound_variable"
external bound_linexpr :
'a Manager.t -> 'a Abstract1.t -> Linexpr1.t -> Interval.t
= "camlidl_abstract1_ap_abstract1_bound_linexpr"
external bound_texpr :
'a Manager.t -> 'a Abstract1.t -> Texpr1.t -> Interval.t
= "camlidl_abstract1_ap_abstract1_bound_texpr"
val to_box : 'a Manager.t -> 'a Abstract1.t -> Abstract1.box1
val to_lincons_array : 'a Manager.t -> 'a Abstract1.t -> Lincons1.earray
val to_tcons_array : 'a Manager.t -> 'a Abstract1.t -> Tcons1.earray
val to_generator_array :
'a Manager.t -> 'a Abstract1.t -> Generator1.earray
external meet :
'a Manager.t -> 'a Abstract1.t -> 'a Abstract1.t -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_meet"
external meet_array :
'a Manager.t -> 'a Abstract1.t array -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_meet_array"
external meet_lincons_array :
'a Manager.t -> 'a Abstract1.t -> Lincons1.earray -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_meet_lincons_array"
external meet_tcons_array :
'a Manager.t -> 'a Abstract1.t -> Tcons1.earray -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_meet_tcons_array"
external join :
'a Manager.t -> 'a Abstract1.t -> 'a Abstract1.t -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_join"
external join_array :
'a Manager.t -> 'a Abstract1.t array -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_join_array"
external add_ray_array :
'a Manager.t -> 'a Abstract1.t -> Generator1.earray -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_add_ray_array"
external meet_with :
'a Manager.t -> 'a Abstract1.t -> 'a Abstract1.t -> unit
= "camlidl_abstract1_ap_abstract1_meet_with"
external meet_lincons_array_with :
'a Manager.t -> 'a Abstract1.t -> Lincons1.earray -> unit
= "camlidl_abstract1_ap_abstract1_meet_lincons_array_with"
external meet_tcons_array_with :
'a Manager.t -> 'a Abstract1.t -> Tcons1.earray -> unit
= "camlidl_abstract1_ap_abstract1_meet_tcons_array_with"
external join_with :
'a Manager.t -> 'a Abstract1.t -> 'a Abstract1.t -> unit
= "camlidl_abstract1_ap_abstract1_join_with"
external add_ray_array_with :
'a Manager.t -> 'a Abstract1.t -> Generator1.earray -> unit
= "camlidl_abstract1_ap_abstract1_add_ray_array_with"
external assign_linexpr_array :
'a Manager.t ->
'a Abstract1.t ->
Var.t array ->
Linexpr1.t array -> 'a Abstract1.t option -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_assign_linexpr_array"
external substitute_linexpr_array :
'a Manager.t ->
'a Abstract1.t ->
Var.t array ->
Linexpr1.t array -> 'a Abstract1.t option -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_substitute_linexpr_array"
external assign_texpr_array :
'a Manager.t ->
'a Abstract1.t ->
Var.t array -> Texpr1.t array -> 'a Abstract1.t option -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_assign_texpr_array"
external substitute_texpr_array :
'a Manager.t ->
'a Abstract1.t ->
Var.t array -> Texpr1.t array -> 'a Abstract1.t option -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_substitute_texpr_array"
external assign_linexpr_array_with :
'a Manager.t ->
'a Abstract1.t ->
Var.t array -> Linexpr1.t array -> 'a Abstract1.t option -> unit
= "camlidl_abstract1_ap_abstract1_assign_linexpr_array_with"
external substitute_linexpr_array_with :
'a Manager.t ->
'a Abstract1.t ->
Var.t array -> Linexpr1.t array -> 'a Abstract1.t option -> unit
= "camlidl_abstract1_ap_abstract1_substitute_linexpr_array_with"
external assign_texpr_array_with :
'a Manager.t ->
'a Abstract1.t ->
Var.t array -> Texpr1.t array -> 'a Abstract1.t option -> unit
= "camlidl_abstract1_ap_abstract1_assign_texpr_array_with"
external substitute_texpr_array_with :
'a Manager.t ->
'a Abstract1.t ->
Var.t array -> Texpr1.t array -> 'a Abstract1.t option -> unit
= "camlidl_abstract1_ap_abstract1_substitute_texpr_array_with"
external forget_array :
'a Manager.t -> 'a Abstract1.t -> Var.t array -> bool -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_forget_array"
external forget_array_with :
'a Manager.t -> 'a Abstract1.t -> Var.t array -> bool -> unit
= "camlidl_abstract1_ap_abstract1_forget_array_with"
external change_environment :
'a Manager.t -> 'a Abstract1.t -> Environment.t -> bool -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_change_environment"
external minimize_environment :
'a Manager.t -> 'a Abstract1.t -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_minimize_environment"
external rename_array :
'a Manager.t ->
'a Abstract1.t -> Var.t array -> Var.t array -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_rename_array"
external change_environment_with :
'a Manager.t -> 'a Abstract1.t -> Environment.t -> bool -> unit
= "camlidl_abstract1_ap_abstract1_change_environment_with"
external minimize_environment_with : 'a Manager.t -> 'a Abstract1.t -> unit
= "camlidl_abstract1_ap_abstract1_minimize_environment_with"
external rename_array_with :
'a Manager.t -> 'a Abstract1.t -> Var.t array -> Var.t array -> unit
= "camlidl_abstract1_ap_abstract1_rename_array_with"
external expand :
'a Manager.t -> 'a Abstract1.t -> Var.t -> Var.t array -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_expand"
external fold :
'a Manager.t -> 'a Abstract1.t -> Var.t array -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_fold"
external expand_with :
'a Manager.t -> 'a Abstract1.t -> Var.t -> Var.t array -> unit
= "camlidl_abstract1_ap_abstract1_expand_with"
external fold_with : 'a Manager.t -> 'a Abstract1.t -> Var.t array -> unit
= "camlidl_abstract1_ap_abstract1_fold_with"
external widening :
'a Manager.t -> 'a Abstract1.t -> 'a Abstract1.t -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_widening"
external widening_threshold :
'a Manager.t ->
'a Abstract1.t -> 'a Abstract1.t -> Lincons1.earray -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_widening_threshold"
external closure : 'a Manager.t -> 'a Abstract1.t -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_closure"
external closure_with : 'a Manager.t -> 'a Abstract1.t -> unit
= "camlidl_abstract1_ap_abstract1_closure_with"
val of_lincons_array :
'a Manager.t -> Environment.t -> Lincons1.earray -> 'a Abstract1.t
val of_tcons_array :
'a Manager.t -> Environment.t -> Tcons1.earray -> 'a Abstract1.t
val assign_linexpr :
'a Manager.t ->
'a Abstract1.t ->
Var.t -> Linexpr1.t -> 'a Abstract1.t option -> 'a Abstract1.t
val substitute_linexpr :
'a Manager.t ->
'a Abstract1.t ->
Var.t -> Linexpr1.t -> 'a Abstract1.t option -> 'a Abstract1.t
val assign_texpr :
'a Manager.t ->
'a Abstract1.t ->
Var.t -> Texpr1.t -> 'a Abstract1.t option -> 'a Abstract1.t
val substitute_texpr :
'a Manager.t ->
'a Abstract1.t ->
Var.t -> Texpr1.t -> 'a Abstract1.t option -> 'a Abstract1.t
val assign_linexpr_with :
'a Manager.t ->
'a Abstract1.t -> Var.t -> Linexpr1.t -> 'a Abstract1.t option -> unit
val substitute_linexpr_with :
'a Manager.t ->
'a Abstract1.t -> Var.t -> Linexpr1.t -> 'a Abstract1.t option -> unit
val assign_texpr_with :
'a Manager.t ->
'a Abstract1.t -> Var.t -> Texpr1.t -> 'a Abstract1.t option -> unit
val substitute_texpr_with :
'a Manager.t ->
'a Abstract1.t -> Var.t -> Texpr1.t -> 'a Abstract1.t option -> unit
external unify :
'a Manager.t -> 'a Abstract1.t -> 'a Abstract1.t -> 'a Abstract1.t
= "camlidl_abstract1_ap_abstract1_unify"
external unify_with :
'a Manager.t -> 'a Abstract1.t -> 'a Abstract1.t -> unit
= "camlidl_abstract1_ap_abstract1_unify_with"
end