typedef enum { KSP_HPDDM_PRECISION_HALF = 0, KSP_HPDDM_PRECISION_SINGLE = 1, KSP_HPDDM_PRECISION_DOUBLE = 2, KSP_HPDDM_PRECISION_QUADRUPLE = 3 } KSPHPDDMPrecision;
KSP_HPDDM_PRECISION_HALF (currently unsupported)
KSP_HPDDM_PRECISION_SINGLE (default when PETSc is configured --with-precision=single)
KSP_HPDDM_PRECISION_DOUBLE (default when PETSc is configured --with-precision=double)
KSP_HPDDM_PRECISION_QUADRUPLE (currently unsupported)