cloud9_root/src/cloud9/lib/Core/ClockVector.cpp
/**
 *  increase the size of the clock vector by sz
 *  @param sz  the size that is going to increase
 *  @param init_val the initial value
 *
 */
increase the size of the clock vector by sz
@param sz  the size that is going to increase
@param init_val the initial value
increase the size of the clock vector by sz @param sz the size that is going to increase @param init_val the initial value
void ClockVector::increase_size(int sz, int init_val) {
	assert( sz > 0);
	assert( (int)timestamps.size() == width);
	width += sz;
	timestamps.resize(width, init_val);
}
void ClockVector :: increase_size ( int sz , int init_val ) { assert ( sz > 0 ) ; assert ( ( int ) timestamps . size ( ) == width ) ; width += sz ; timestamps . resize ( width , init_val ) ; }
increase the size of the clock vector by sz
  @param sz  the size that is going to increase
  @param init_val the initial value
increase the size of the clock vector by sz @param sz the size that is going to increase @param init_val the initial value