25 #include <spot/misc/common.hh> 85 enum { FirstStep, SecondStep, ThirdStep, FourthStep } step;
93 local_vars(bdd f_min, bdd f_max, bdd vars)
94 : f_min(f_min), f_max(f_max), step(FirstStep), vars(vars) {}
96 std::stack<local_vars> todo_;
97 std::stack<bdd> cube_;
Definition: automata.hh:26
Generate an irredundant sum-of-products (ISOP) form of a BDD function.
Definition: minato.hh:51