(*
formulatop -I $CAMLLIB_INSTALL/lib -I $MLCUDDIDL_INSTALL/lib
*)

open Format;;

let cudd = Cudd.Man.make_d ();;
Cudd.Man.print_limit := 200;;
Cudd.Man.set_gc 10000
  (begin fun () -> printf "@.CUDD GC@." end)
  (begin fun () -> printf "@.CUDD REORDER@." end)
;;
let env = BdddomainE.make_env cudd;;
env#add_typ "enum2" (`Benum [|"l1"; "l2"; "l3"|]);;
env;;
env#add_vars [
  ("q1",`Bint(false,3));
  ("q2",`Bint(false,3));
  ("e",`Benum("enum2"));
  ("b0",`Bool);
  ("b1",`Bool);
  ("b2",`Bool);
  ("b3",`Bool);
];;
env;;

let expr = BddexprE.Bool.var env "b0";;
printf "%a@." BddexprE.Bool.print expr;;

(*
bddtop -I $CAMLLIB_INSTALL/lib -I $MLCUDDIDL_INSTALL/lib
*)

open Format;;

let cudd = Cudd.Man.make_d ();;
Cudd.Man.print_limit := 200;;
Cudd.Man.set_gc 10000
  (begin fun () -> printf "@.CUDD GC@." end)
  (begin fun () -> printf "@.CUDD REORDER@." end)
;;
let env = Bdd.Env.make cudd;;
env#add_typ "enum2" (`Benum [|"l1"; "l2"; "l3"|]);;
env;;
env#add_vars [
  ("q1",`Bint(false,3));
  ("q2",`Bint(false,3));
  ("e",`Benum("enum2"));
  ("b0",`Bool);
  ("b1",`Bool);
  ("b2",`Bool);
  ("b3",`Bool);
];;
env;;

let expr = Bdd.Expr1.Bool.var env "b0";;
printf "%a@." Bdd.Expr1.Bool.print expr;;

Update because of new interface.
Update because of new interface.


git-svn-id: 1bd34a1ddab91b889e67c27a2d0b5c9564e64567@524 94497fdf-4533-0410-84ab-907f7b2fba56
