OLD | NEW |
1 #include "util.h" | 1 #include "util.h" |
2 RCSID("$Id: bitvect.c 2063 2008-04-12 08:30:22Z peter $"); | |
3 | 2 |
4 #include "coretype.h" | 3 #include "coretype.h" |
5 | 4 |
6 /*****************************************************************************/ | 5 /*****************************************************************************/ |
7 /* MODULE NAME: BitVector.c MODULE TYPE: (adt) */ | 6 /* MODULE NAME: BitVector.c MODULE TYPE: (adt) */ |
8 /*****************************************************************************/ | 7 /*****************************************************************************/ |
9 /* MODULE IMPORTS: */ | 8 /* MODULE IMPORTS: */ |
10 /*****************************************************************************/ | 9 /*****************************************************************************/ |
11 #include <ctype.h> /* MODULE TYPE: (sys) */ | 10 #include <ctype.h> /* MODULE TYPE: (sys) */ |
12 #include <limits.h> /* MODULE TYPE: (sys) */ | 11 #include <limits.h> /* MODULE TYPE: (sys) */ |
(...skipping 4024 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4037 /* Library General Public License for more details. */ | 4036 /* Library General Public License for more details. */ |
4038 /* */ | 4037 /* */ |
4039 /* You should have received a copy of the GNU Library General Public */ | 4038 /* You should have received a copy of the GNU Library General Public */ |
4040 /* License along with this library; if not, write to the */ | 4039 /* License along with this library; if not, write to the */ |
4041 /* Free Software Foundation, Inc., */ | 4040 /* Free Software Foundation, Inc., */ |
4042 /* 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */ | 4041 /* 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */ |
4043 /* */ | 4042 /* */ |
4044 /* or download a copy from ftp://ftp.gnu.org/pub/gnu/COPYING.LIB-2.0 */ | 4043 /* or download a copy from ftp://ftp.gnu.org/pub/gnu/COPYING.LIB-2.0 */ |
4045 /* */ | 4044 /* */ |
4046 /*****************************************************************************/ | 4045 /*****************************************************************************/ |
OLD | NEW |