1 #pragma once 2 3 #include <petscdmplex.h> 4 #include <ceed.h> 5 6 /* MANSEC = DM */ 7 8 #if !defined(PETSC_HAVE_LIBCEED) 9 #error "PETSc not configured for libCEED; reconfigrue --with-libceed or --download-libceed" 10 #endif 11 12 PETSC_EXTERN PetscErrorCode DMPlexGetCeedRestriction(DM, DMLabel, PetscInt, PetscInt, PetscInt, CeedElemRestriction *); 13 PETSC_EXTERN PetscErrorCode DMPlexCreateCeedRestrictionFVM(DM, CeedElemRestriction *, CeedElemRestriction *); 14 PETSC_EXTERN PetscErrorCode DMPlexCeedComputeGeometryFVM(DM, CeedVector); 15 PETSC_EXTERN PetscErrorCode DMPlexTSComputeRHSFunctionFVMCEED(DM, PetscReal, Vec, Vec, void *); 16