void reset_remap_field(Sequence<Variable_ID> &T, int var_no) { int i=1; for(Any_Iterator<Variable_ID> VI(T.any_iterator()); i <= var_no && VI; VI++){ Variable_ID v = *VI; v->remap = v; i++; } }
// Function to reset the remap fields of a Variable_ID_Seq void reset_remap_field(Sequence<Variable_ID> &T) { for(Any_Iterator<Variable_ID> VI(T.any_iterator()); VI; VI++) { Variable_ID v = *VI; v->remap = v; } }