Actual source code: petscdmplexceed.h

  1: #ifndef PETSCDMPLEXCEED_H
  2: #define PETSCDMPLEXCEED_H

  4: #if !defined(PETSC_HAVE_LIBCEED)
  5:   #error "PETSc not configured for libCEED; reconfigrue --with-libceed or --download-libceed"
  6: #endif

  8: #include <petscdmplex.h>
  9: #include <ceed.h>

 11: PETSC_EXTERN PetscErrorCode DMPlexGetCeedRestriction(DM, DMLabel, PetscInt, PetscInt, PetscInt, CeedElemRestriction *);

 13: #endif