00001 /* Set operations on pointers 00002 Copyright (C) 2004 Free Software Foundation, Inc. 00003 00004 This file is part of GCC. 00005 00006 GCC is free software; you can redistribute it and/or modify it under 00007 the terms of the GNU General Public License as published by the Free 00008 Software Foundation; either version 2, or (at your option) any later 00009 version. 00010 00011 GCC is distributed in the hope that it will be useful, but WITHOUT ANY 00012 WARRANTY; without even the implied warranty of MERCHANTABILITY or 00013 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 00014 for more details. 00015 00016 You should have received a copy of the GNU General Public License 00017 along with GCC; see the file COPYING. If not, write to the Free 00018 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 00019 02110-1301, USA. */ 00020 00021 #ifndef POINTER_SET_H 00022 #define POINTER_SET_H 00023 00024 struct pointer_set_t; 00025 00026 struct pointer_set_t *pointer_set_create (void); 00027 void pointer_set_destroy (struct pointer_set_t *pset); 00028 00029 int pointer_set_contains (struct pointer_set_t *pset, void *p); 00030 int pointer_set_insert (struct pointer_set_t *pset, void *p); 00031 00032 #endif /* POINTER_SET_H */
1.5.6