39 auto x1=mgr.Var(
"x_1");
40 auto x2=mgr.Var(
"x_2");
41 auto x3=mgr.Var(
"x_3");
42 auto x4=mgr.Var(
"x_4");
43 result=(x1&x2)|(x3&x4);
47 auto x1=mgr.Var(
"x_1");
48 auto x2=mgr.Var(
"x_2");
49 auto x3=mgr.Var(
"x_3");
50 auto x4=mgr.Var(
"x_4");
51 auto tmp=(x1&x2)|(x3&x4);
64 mgr.DumpTikZ(std::cout);
A minimalistic BDD library, following Bryant's original paper and Andersen's lecture notes.
mini_bddt restrict(const mini_bddt &u, unsigned var, const bool value)