Actual source code: hashseti.h

  1: #ifndef PETSC_HASHSETI_H
  2: #define PETSC_HASHSETI_H

  4: #include <petsc/private/hashset.h>

  6: PETSC_HASH_SET(HSetI, PetscInt, PetscHashInt, PetscHashEqual)

  8: #endif /* PETSC_HASHSETI_H */