Module Katbv_lib.Compiler
val to_bexp_katbb : Ast.bexp -> Katbb_lib.Ast.bexp
of_bexp_katbb bexp
is the Boolean KAT+B! expression representingbexp
val to_exp_katbb : Ast.exp -> Katbb_lib.Ast.exp
of_exp_katbb exp
is the KAT+B! expression representingexp
val to_bdd : Ast.bexp -> mgr:Idds.Bdd.manager -> map_var:(Base.string -> Base.int) -> Idds.Bdd.t
to_bdd bexp ~mgr ~map_var
is the BDD representingbexp
val to_idd : Ast.exp -> mgr:Idds.Idd.manager -> map_var:(Base.string -> Base.int) -> Idds.Idd.t
to_idd exp ~mgr ~map_var
is the IDD representingexp