bddapron

Logico-numerical domain(s) based on BDDs and APRON
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
Manual
Module Bddapron . Env . O
type (!'a, !'b, !'c, !'d) t = ( 'a, 'b, 'c, 'd ) t0 constraint 'b = [> 'a typ ] constraint 'c = [> 'a typdef ]
val make : symbol:'a symbol -> copy_aext:( 'd -> 'd ) -> ?bddindex0:int -> ?bddsize:int -> ?relational:bool -> Cudd.Man.vt -> 'd -> ( 'a, [> 'a typ ], [> 'a typdef ], 'd ) t
val print : ( Format.formatter -> [> 'a typ ] as 'b -> unit ) -> ( Format.formatter -> [> 'a typdef ] as 'c -> unit ) -> ( Format.formatter -> 'd -> unit ) -> Format.formatter -> ( 'a, 'b, 'c, 'd ) t -> unit