1*a4963045SJacob Faibussowitsch #pragma once 2f918ec44SMatthew G. Knepley 3a2c9b50fSJeremy L Thompson #if !defined(PETSC_HAVE_LIBCEED) 4a2c9b50fSJeremy L Thompson #error "PETSc not configured for libCEED; reconfigrue --with-libceed or --download-libceed" 5a2c9b50fSJeremy L Thompson #endif 6f918ec44SMatthew G. Knepley 7a2c9b50fSJeremy L Thompson #include <petscdmplex.h> 8f918ec44SMatthew G. Knepley #include <ceed.h> 9f918ec44SMatthew G. Knepley 10a2c9b50fSJeremy L Thompson PETSC_EXTERN PetscErrorCode DMPlexGetCeedRestriction(DM, DMLabel, PetscInt, PetscInt, PetscInt, CeedElemRestriction *); 11