treewalk.hpp 523 B

12345678910111213141516171819202122232425
  1. #ifndef TREEWALK_HPP
  2. #define TREEWALK_HPP
  3. #include "semigroup.hpp"
  4. #include "stack.hpp"
  5. #include "treat.hpp"
  6. #include "cuts.hpp"
  7. //bool cut(const Semigroup& m);
  8. //void treat(const Semigroup& m);
  9. void walk(Stack& stack,Results& res);
  10. void signal_checkpoint_handler(int signum);
  11. /*inline bool
  12. cut(const Semigroup& m){
  13. if(3*m.left_primitive>=m.min) return true;
  14. return false;
  15. }
  16. inline bool is_special(const Semigroup& S){
  17. ind_t c=S.conductor;
  18. ind_t m=S.min;
  19. ind_t x=c+(m-1)-c%m;
  20. return S.decs[x]==1;
  21. }*/
  22. #endif