892 PetscErrorCode DMLabelHasValue(DMLabel label, PetscInt value, PetscBool *contains)  in DMLabelHasValue()  argument
898   PetscAssertPointer(contains, 3);  in DMLabelHasValue()
900   *contains = v < 0 ? PETSC_FALSE : PETSC_TRUE;  in DMLabelHasValue()
923 PetscErrorCode DMLabelHasPoint(DMLabel label, PetscInt point, PetscBool *contains)  in DMLabelHasPoint()  argument
929   PetscAssertPointer(contains, 3);  in DMLabelHasPoint()
933 …*contains = point >= pStart && point < pEnd && (PetscBTLookup(label->bt, point - label->pStart) ? …  in DMLabelHasPoint()
954 …rrorCode DMLabelStratumHasPoint(DMLabel label, PetscInt value, PetscInt point, PetscBool *contains)  in DMLabelStratumHasPoint()  argument
958   PetscAssertPointer(contains, 4);  in DMLabelStratumHasPoint()
963     *contains = (PetscBool)(pointVal == value);  in DMLabelStratumHasPoint()
976         *contains = (PetscBool)(i >= 0);  in DMLabelStratumHasPoint()
978         PetscCall(PetscHSetIHas(label->ht[v], point, contains));  in DMLabelStratumHasPoint()
981       *contains = PETSC_FALSE;  in DMLabelStratumHasPoint()