type (!'a, !'b, !'c, !'d, !'e, !'f) man = ('a, 'b, 'c, 'd, 'e, 'f) PDomain0.man =
{man : ('a, 'b, 'c, 'd) Domain0.man;pman : 'e;print : 'e -> 'a Env.t -> 'a Cond.t -> Format.formatter -> 'f -> unit;meet_condition_apply : 'e ->
'a Env.t ->
'a Cond.t ->
'f ->
'd ->
'a Expr0.Bool.t ->
'd;meet_condition_improve : 'e ->
'a Env.t ->
'a Cond.t ->
'f option ->
'd ->
'a Expr0.Bool.t ->
'f;}type (!'a, !'b) mtbdd =
('a,
'b,
('a, 'b) Mtbdddomain0.man,
'b Mtbdddomain0.t,
('a, 'b) PMtbdddomain0.man,
'b PMtbdddomain0.t)
manval manager_get_manager :
('a, 'b, 'c, 'd, 'e, 'f) man ->
('a, 'b, 'c, 'd) Domain0.manval print :
('a, 'b, 'c, 'd, 'e, 'f) man ->
'a Env.t ->
'a Cond.t ->
Format.formatter ->
'f ->
unitval meet_condition_apply :
('a, 'b, 'c, 'd, 'e, 'f) man ->
'a Cond.t ->
'f ->
('a, 'd) Domain1.t ->
'f Expr1.Bool.t ->
('a, 'd) Domain1.tval meet_condition_improve :
('a, 'b, 'c, 'd, 'e, 'f) man ->
'a Cond.t ->
'f option ->
('a, 'd) Domain1.t ->
'f Expr1.Bool.t ->
'fval meet_condition2_apply :
('a, 'b, 'c, 'd, 'e, 'f) man ->
'f ->
('a, 'd) Domain1.t ->
'a Expr2.Bool.t ->
('a, 'd) Domain1.tval meet_condition2_improve :
('a, 'b, 'c, 'd, 'e, 'f) man ->
'f option ->
('a, 'd) Domain1.t ->
'a Expr2.Bool.t ->
'f