Searched refs:work_since_last_update (Results 1 – 1 of 1) sorted by relevance
152 , work_since_last_update(0) in push_relabel()384 work_since_last_update += beta(); in relabel_distance()394 ++work_since_last_update; in relabel_distance()444 work_since_last_update = 0; in maximum_preflow()461 if (work_since_last_update * global_update_frequency() > nm) in maximum_preflow()464 work_since_last_update = 0; in maximum_preflow()804 long work_since_last_update; member in boost::detail::push_relabel