sig
type 'a t
external manager_alloc :
'a Polka.t Apron.Manager.t ->
Ppl.grid Ppl.t Apron.Manager.t -> 'a PolkaGrid.t Apron.Manager.t
= "camlidl_polkaGrid_ap_pkgrid_manager_alloc"
external manager_decompose :
'a PolkaGrid.t Apron.Manager.t ->
'a Polka.t Apron.Manager.t * Ppl.grid Ppl.t Apron.Manager.t
= "camlidl_polkaGrid_ap_pkgrid_manager_decompose"
external decompose :
'a PolkaGrid.t Apron.Abstract0.t ->
'a Polka.t Apron.Abstract0.t * Ppl.grid Ppl.t Apron.Abstract0.t
= "camlidl_polkaGrid_ap_pkgrid_decompose"
external compose :
'a PolkaGrid.t Apron.Manager.t ->
'a Polka.t Apron.Abstract0.t ->
Ppl.grid Ppl.t Apron.Abstract0.t -> 'a PolkaGrid.t Apron.Abstract0.t
= "camlidl_polkaGrid_ap_pkgrid_compose"
val manager_is_polkagrid : 'a Apron.Manager.t -> bool
val manager_of_polkagrid :
'a PolkaGrid.t Apron.Manager.t -> 'b Apron.Manager.t
val manager_to_polkagrid :
'a Apron.Manager.t -> 'b PolkaGrid.t Apron.Manager.t
module Abstract0 :
sig
val is_polkagrid : 'a Apron.Abstract0.t -> bool
val of_polkagrid :
'a PolkaGrid.t Apron.Abstract0.t -> 'b Apron.Abstract0.t
val to_polkagrid :
'a Apron.Abstract0.t -> 'b PolkaGrid.t Apron.Abstract0.t
end
module Abstract1 :
sig
val is_polkagrid : 'a Apron.Abstract1.t -> bool
val of_polkagrid :
'a PolkaGrid.t Apron.Abstract1.t -> 'b Apron.Abstract1.t
val to_polkagrid :
'a Apron.Abstract1.t -> 'b PolkaGrid.t Apron.Abstract1.t
end
end