Actual source code: freespace.h

      1: #if !defined(_FreeSpace_h_)
      2: #define _FreeSpace_h_

     4:  #include petsc.h

      6: typedef struct _Space *FreeSpaceList;

      8: typedef struct _Space {
      9:   FreeSpaceList more_space;
     10:   PetscInt      *array;
     11:   PetscInt      *array_head;
     12:   PetscInt      total_array_size;
     13:   PetscInt      local_used;
     14:   PetscInt      local_remaining;
     15: } FreeSpace;

     17: PetscErrorCode GetMoreSpace(PetscInt,FreeSpaceList*);
     18: PetscErrorCode MakeSpaceContiguous(FreeSpaceList*,PetscInt *);
     19: PetscErrorCode DestroySpace(FreeSpaceList);

     21: #endif