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