Searched refs:file_type (Results 1 – 1 of 1) sorted by relevance
96 static PetscErrorCode BinaryReadIntoInt(PetscViewer viewer, PetscInt *out, PetscDataType file_type)… in BinaryReadIntoInt() argument99 if (file_type == PETSC_INT32) { in BinaryReadIntoInt()103 } else if (file_type == PETSC_INT64) { in BinaryReadIntoInt()118 PetscDataType file_type = PETSC_INT32; in LoadFluidsBinaryVec() local124 if (token == FLUIDS_FILE_TOKEN_32) file_type = PETSC_INT32; in LoadFluidsBinaryVec()125 else if (token == FLUIDS_FILE_TOKEN_64) file_type = PETSC_INT64; in LoadFluidsBinaryVec()126 PetscCall(BinaryReadIntoInt(viewer, &file_step_number, file_type)); in LoadFluidsBinaryVec()132 PetscCall(BinaryReadIntoInt(viewer, &length, file_type)); in LoadFluidsBinaryVec()