Actual source code: general.h

      5: /*
      6:     Defines the data structure used for the general index set
      7: */
      8: #include <petsc/private/isimpl.h>

     10: typedef struct {
     11:   PetscBool   sorted;    /* indicates the indices are sorted */
     12:   PetscBool   allocated; /* did we allocate the index array ourselves? */
     13:   PetscInt   *idx;
     14: } IS_General;

     16: #endif