25 #include <spot/misc/common.hh>
71 enum { FirstStep, SecondStep, ThirdStep, FourthStep } step;
79 local_vars(bdd f_min, bdd f_max, bdd vars) noexcept
80 : f_min(f_min), f_max(f_max), step(FirstStep), vars(vars) {}
82 std::stack<local_vars> todo_;
83 std::stack<bdd> cube_;
Generate an irredundant sum-of-products (ISOP) form of a BDD function.
Definition: minato.hh:38
minato_isop(bdd input)
Conctructor.
minato_isop(bdd input, bdd vars)
Conctructor.
minato_isop(bdd input_min, bdd input_max, bool)
Conctructor.
bdd next()
Compute the next sum term of the ISOP form. Return bddfalse when all terms have been output.
Definition: automata.hh:27