public void selectUnnamed(Unnamed_Variable_instance val) { unnamed_ = val; unnamed_selected = true; named_selected = false; unspecified_selected = false; }