- network_maxmin_system->keep_track = net_modified_set;
- }
-}
-
-static void set_update_mechanism(void)
-{
- char *optim = xbt_cfg_get_string(_surf_cfg_set, "network/optim");
- int select =
- xbt_cfg_get_int(_surf_cfg_set, "network/maxmin_selective_update");
-
- if (!strcmp(optim, "Full")) {
- network_update_mechanism = UM_FULL;
- net_selective_update = select;
- } else if (!strcmp(optim, "Lazy")) {
- network_update_mechanism = UM_LAZY;
- net_selective_update = 1;
- xbt_assert((select == 1)
- ||
- (xbt_cfg_is_default_value
- (_surf_cfg_set, "network/maxmin_selective_update")),
- "Disabling selective update while using the lazy update mechanism is dumb!");
- } else {
- xbt_die("Unsupported optimization (%s) for this model", optim);