00001 // -*- c++ -*- 00002 //***************************************************************************** 00014 //***************************************************************************** 00015 00016 #ifndef polybori_groebner_SetBitUInt_h_ 00017 #define polybori_groebner_SetBitUInt_h_ 00018 00019 // include basic definitions 00020 #include "groebner_defs.h" 00021 00022 BEGIN_NAMESPACE_PBORIGB 00023 00028 class SetBitUInt{ 00029 public: 00030 void operator() (unsigned int& vec, int index){ 00031 vec|=(1<<index); 00032 } 00033 }; 00034 00035 END_NAMESPACE_PBORIGB 00036 00037 #endif /* polybori_SetBitUInt_h_ */