174 #ifndef BoolePolyRing_h_
175 #define BoolePolyRing_h_
181 class CDynamicOrderBase;
247 void changeOrdering(ordercode_type);
250 if (ordering().isBlockOrder()) {
251 return *(ordering().blockEnd() - 2);
253 else if (ordering().isLexicographical()) {
254 return CTypes::max_idx;
269 #endif // of #ifndef BoolePolyRing_h_