public void selectNamed(Named_Variable_instance val) { named_ = val; named_selected = true; unnamed_selected = false; unspecified_selected = false; }