Module Bddapron.Policy.Domain1

module Domain1: sig .. end

type ('a, 'b, 'c, 'd, 'e, 'f) man = ('a, 'b, 'c, 'd, 'e, 'f) Bddapron.Policy.PDomain0.man = {
   man :('a, 'b, 'c, 'd) Bddapron.Domain0.man;
   pman :'e;
   print :'e ->
'a Bddapron.Env.t -> 'a Bddapron.Cond.t -> Format.formatter -> 'f -> unit
;
   meet_condition_apply :'e ->
'a Bddapron.Env.t ->
'a Bddapron.Cond.t -> 'f -> 'd -> 'a Bddapron.Expr0.Bool.t -> 'd
;
   meet_condition_improve :'e ->
'a Bddapron.Env.t ->
'a Bddapron.Cond.t -> 'f option -> 'd -> 'a Bddapron.Expr0.Bool.t -> 'f
;
}
Type of generic policy managers.


type ('a, 'b) mtbdd = ('a, 'b, ('a, 'b) Bddapron.Mtbdddomain0.man, 'b Bddapron.Mtbdddomain0.t,
('a, 'b) Bddapron.Policy.PMtbdddomain0.man,
'b Bddapron.Policy.PMtbdddomain0.t)
man
val manager_get_manager : ('a, 'b, 'c, 'd, 'e, 'f) man ->
('a, 'b, 'c, 'd) Bddapron.Domain0.man
val print : ('a, 'b, 'c, 'd, 'e, 'f) man ->
'a Bddapron.Env.t -> 'a Bddapron.Cond.t -> Format.formatter -> 'f -> unit
val meet_condition_apply : ('a, 'b, 'c, 'd, 'e, 'f) man ->
'a Bddapron.Cond.t ->
'f ->
('a, 'd) Bddapron.Domain1.t ->
'f Bddapron.Expr1.Bool.t -> ('a, 'd) Bddapron.Domain1.t
val meet_condition_improve : ('a, 'b, 'c, 'd, 'e, 'f) man ->
'a Bddapron.Cond.t ->
'f option -> ('a, 'd) Bddapron.Domain1.t -> 'f Bddapron.Expr1.Bool.t -> 'f
val meet_condition2_apply : ('a, 'b, 'c, 'd, 'e, 'f) man ->
'f ->
('a, 'd) Bddapron.Domain1.t ->
'a Bddapron.Expr2.Bool.t -> ('a, 'd) Bddapron.Domain1.t
val meet_condition2_improve : ('a, 'b, 'c, 'd, 'e, 'f) man ->
'f option -> ('a, 'd) Bddapron.Domain1.t -> 'a Bddapron.Expr2.Bool.t -> 'f