template void Partial_Map_3::Undefine_Any_One ( D_Item& d, R_Item& r ) { object Map_Pair_Record old_pair; object Integer index, locator, i; do { index = (rand () % array_size); } while (!(rep->map[index].Right_Size ())); locator = (rand () % rep->map[index].Right_Size ()); for (i = 0; i < locator; i++) { rep->map[index].Advance (); } rep->map[index].Remove_Right (old_pair); d &= old_pair->d_item; r &= old_pair->r_item; rep->map[index].Move_To_Start (); rep->map_size--; } // Undefine_Any_One