From e020ea7dc0650c0fe9cedc99ae23e1a168d823c9 Mon Sep 17 00:00:00 2001 From: David Wells Date: Mon, 25 May 2020 12:13:13 -0400 Subject: [PATCH] locally_owned_size in dictionary --- include/deal.II/base/mpi_compute_index_owner_internal.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/include/deal.II/base/mpi_compute_index_owner_internal.h b/include/deal.II/base/mpi_compute_index_owner_internal.h index 91092aa273..41fadb02e5 100644 --- a/include/deal.II/base/mpi_compute_index_owner_internal.h +++ b/include/deal.II/base/mpi_compute_index_owner_internal.h @@ -196,7 +196,7 @@ namespace Utilities * the possible end of the index space. Equivalent to * `local_range.second - local_range.first`. */ - types::global_dof_index local_size; + types::global_dof_index locally_owned_size; /** * The global size of the index space. @@ -337,7 +337,7 @@ namespace Utilities } // 4) receive messages until all dofs in dict are processed - while (this->local_size != dic_local_received) + while (this->locally_owned_size != dic_local_received) { // wait for an incoming message MPI_Status status; @@ -515,10 +515,10 @@ namespace Utilities local_range.first = get_index_offset(my_rank); local_range.second = get_index_offset(my_rank + 1); - local_size = local_range.second - local_range.first; + locally_owned_size = local_range.second - local_range.first; actually_owning_ranks = {}; - actually_owning_ranks.resize(local_size, + actually_owning_ranks.resize(locally_owned_size, numbers::invalid_unsigned_int); #else (void)owned_indices; -- 2.39.5