const double weight = wt_idx == -1 ? 1.0 : case_num_idx (cx, wt_idx);
const double this_value = case_num_idx (cx, val_idx);
const double weight = wt_idx == -1 ? 1.0 : case_num_idx (cx, wt_idx);
const double this_value = case_num_idx (cx, val_idx);
wv ? var_get_case_index (wv) : -1,
var_get_case_index (var));
}
wv ? var_get_case_index (wv) : -1,
var_get_case_index (var));
}