13 #include <boost/shared_ptr.hpp>
20 #ifndef PB_LEXBUCKETS_H
21 #define PB_LEXBUCKETS_H
29 static const int var_group_size=1;
45 buckets.push_back(back);
52 if (p.
isOne()) ones=
true;
57 while((front.isZero())&& (buckets.size()>0)){
58 increaseTailStart(tail_start+var_group_size);
64 void updateTailStart();
66 void increaseTailStart(
idx_type new_start);
74 if ((front.isZero()) && (ones) && (buckets.size()==0))
return true;
78 void usualAssertions(){
81 std::vector<Polynomial> buckets;