12 #include <boost/shared_ptr.hpp>
18 #ifndef PB_LEXBUCKETS_H
19 #define PB_LEXBUCKETS_H
26 static const int var_group_size=1;
42 buckets.push_back(back);
49 if (p.
isOne()) ones=
true;
54 while((front.isZero())&& (buckets.size()>0)){
55 increaseTailStart(tail_start+var_group_size);
61 void updateTailStart();
63 void increaseTailStart(
idx_type new_start);
71 if ((front.isZero()) && (ones) && (buckets.size()==0))
return true;
75 void usualAssertions(){
76 assert((buckets.size()==0)||(!(front.isZero())));
78 std::vector<Polynomial> buckets;