78 s <<
"{" << p_vector.n() <<
"|";
80 if (p_front >= p_back)
82 for(
int i0=0; i0<p_back; i0++)
84 for(
int i=p_back; i<p_front; i++)
85 s << p_vector(i) <<
"//";
86 for(
int in=p_front; in <p_vector.n(); in++)
91 for(
int ii=0; ii<p_front; ii++)
92 s << p_vector(ii) <<
"//";
93 for(
int i0=p_front; i0<p_back; i0++)
95 for(
int i=p_back; i<p_vector.n(); i++)
96 s << p_vector(i) <<
"//";
109 p_vector.resize(p_vector.n()+p_increment,
true);
112 p_vector.resize(p_vector.n()+p_increment,
false);
114 if (p_front >= p_back)
115 for(
int i=p_back, j=0; i<p_front; i++, j++)
116 p_vector[j] = tmp[i];
120 for(
int i=p_back; i<tmp.n(); i++, j++)
121 p_vector[j] = tmp[i];
123 for(
int ii=0; ii<p_front; ii++, j++)
124 p_vector[j] = tmp[ii];
136 return p_front==p_back;