46 class CDynamicOrderBase;
122 static manager_type& manager();
123 static order_type& ordering();
125 static void setVariableName(
idx_type idx, vartext_type varname);
128 static vartext_type getVariableName(
idx_type idx);
132 static block_iterator blockBegin();
133 static block_iterator blockEnd();
134 static void appendBlock(
idx_type idx);
135 static void clearBlocks();
141 static void changeOrdering(ordercode_type code);
143 static void printInfo();
145 static void set(ring_type& theRing);
157 #endif // of #ifndef BooleEnv_h_