1a4963045SJacob Faibussowitsch #pragma once 2f918ec44SMatthew G. Knepley 3*1850900dSBarry Smith #include <petscdmplex.h> 4*1850900dSBarry Smith #include <ceed.h> 5*1850900dSBarry Smith 6*1850900dSBarry Smith /* MANSEC = DM */ 7*1850900dSBarry Smith 8a2c9b50fSJeremy L Thompson #if !defined(PETSC_HAVE_LIBCEED) 9a2c9b50fSJeremy L Thompson #error "PETSc not configured for libCEED; reconfigrue --with-libceed or --download-libceed" 10a2c9b50fSJeremy L Thompson #endif 11f918ec44SMatthew G. Knepley 12a2c9b50fSJeremy L Thompson PETSC_EXTERN PetscErrorCode DMPlexGetCeedRestriction(DM, DMLabel, PetscInt, PetscInt, PetscInt, CeedElemRestriction *); 135962854dSMatthew G. Knepley PETSC_EXTERN PetscErrorCode DMPlexCreateCeedRestrictionFVM(DM, CeedElemRestriction *, CeedElemRestriction *); 145962854dSMatthew G. Knepley PETSC_EXTERN PetscErrorCode DMPlexCeedComputeGeometryFVM(DM, CeedVector); 155962854dSMatthew G. Knepley PETSC_EXTERN PetscErrorCode DMPlexTSComputeRHSFunctionFVMCEED(DM, PetscReal, Vec, Vec, void *); 16