1: #pragma once

  3: #include <petscdmplex.h>
  4: #include <ceed.h>

  6: /* MANSEC = DM */

  8: #if !defined(PETSC_HAVE_LIBCEED)
  9:   #error "PETSc not configured for libCEED; reconfigrue --with-libceed or --download-libceed"
 10: #endif

 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 *);