treewalk.hpp 279 B

12345678910111213
  1. #include "semigroup.hpp"
  2. #include "stack.hpp"
  3. bool cut(const Semigroup& m);
  4. void treat(const Semigroup& m);
  5. void walk(Stack& stack);
  6. void signal_checkpoint_handler(int signum);
  7. inline bool
  8. cut(const Semigroup& m){
  9. if(3*m.left_primitive>=m.min) return true;
  10. return false;
  11. }