Searched refs:file_type (Results 1 – 1 of 1) sorted by relevance
36 static PetscErrorCode BinaryReadIntoInt(PetscViewer viewer, PetscInt *out, PetscDataType file_type)… in BinaryReadIntoInt() argument39 if (file_type == PETSC_INT32) { in BinaryReadIntoInt()43 } else if (file_type == PETSC_INT64) { in BinaryReadIntoInt()140 PetscDataType file_type = PETSC_INT32; in HoneeLoadBinaryVec() local141 if (token == HONEE_FILE_TOKEN_32) file_type = PETSC_INT32; in HoneeLoadBinaryVec()142 else if (token == HONEE_FILE_TOKEN_64) file_type = PETSC_INT64; in HoneeLoadBinaryVec()143 PetscCall(BinaryReadIntoInt(viewer, &file_step_number, file_type)); in HoneeLoadBinaryVec()