6   PetscBool    random;    /* Flag for a random partition */  member
32   if (p->random) {  in PetscPartitionerView_Shell_ASCII()
56   PetscBool   random = PETSC_FALSE, set, flgSizes, flgPoints;  in PetscPartitionerSetFromOptions_Shell()  local
62   PetscCall(PetscPartitionerShellGetRandom(part, &random));  in PetscPartitionerSetFromOptions_Shell()
63 …oner_shell_random", "Use a random partition", "PetscPartitionerView", PETSC_FALSE, &random, &set));  in PetscPartitionerSetFromOptions_Shell()
64   if (set) PetscCall(PetscPartitionerShellSetRandom(part, random));  in PetscPartitionerSetFromOptions_Shell()
89   if (p->random) {  in PetscPartitionerPartition_Shell()
160   p->random = PETSC_FALSE;  in PetscPartitionerCreate_Shell()
217 PetscErrorCode PetscPartitionerShellSetRandom(PetscPartitioner part, PetscBool random)  in PetscPartitionerShellSetRandom()  argument
223   p->random = random;  in PetscPartitionerShellSetRandom()
242 PetscErrorCode PetscPartitionerShellGetRandom(PetscPartitioner part, PetscBool *random)  in PetscPartitionerShellGetRandom()  argument
248   PetscAssertPointer(random, 2);  in PetscPartitionerShellGetRandom()
249   *random = p->random;  in PetscPartitionerShellGetRandom()