results.hpp 610 B

1234567891011121314151617181920212223242526272829303132333435363738
  1. #ifndef RESULTS_HPP
  2. #define RESULTS_HPP
  3. #include <iostream>
  4. #include "semigroup.hpp"
  5. using namespace std;
  6. class Results{
  7. public:
  8. size_t n[MAX_GENUS+1];
  9. bool has_counter_example;
  10. Semigroup S_counter_example;
  11. void clear();
  12. void add(const Results& res);
  13. };
  14. inline
  15. void Results::clear(){
  16. has_counter_example=false;
  17. for(size_t g=0;g<=MAX_GENUS;++g){
  18. n[g]=0;
  19. }
  20. }
  21. inline
  22. void Results::add(const Results& res){
  23. if((not has_counter_example) and res.has_counter_example){
  24. S_counter_example=res.S_counter_example;
  25. }
  26. for(size_t g=0;g<=MAX_GENUS;++g){
  27. n[g]+=res.n[g];
  28. }
  29. }
  30. #endif