23 #ifndef SPOT_MISC_MINATO_HH
24 # define SPOT_MISC_MINATO_HH
79 enum { FirstStep, SecondStep, ThirdStep, FourthStep } step;
87 local_vars(bdd f_min, bdd f_max, bdd vars)
88 : f_min(f_min), f_max(f_max), step(FirstStep), vars(vars) {}
90 std::stack<local_vars> todo_;
91 std::stack<bdd> cube_;
96 #endif // SPOT_MISC_MINATO_HH