blob: 171efdbacf88560360f792a60b45f0ddee277742 [file] [log] [blame]
Austin Schuh405fa6c2015-09-06 18:13:55 -07001/* Header file for setoper.c */
2
3/* setoper.c:
4 * A set operation library
5 * created by Komei Fukuda, Nov.14, 1993
6 * last modified on June 1, 2000
7 */
8
9#ifndef __SETOPER_H
10#define __SETOPER_H
11#endif /* __SETOPER_H */
12
13#include <stdio.h>
14#include <stdlib.h>
15
16typedef unsigned long *set_type; /* set type definition */
17
18typedef unsigned char set_card_lut_t;
19
20#if defined(__cplusplus)
21extern "C" {
22#endif
23
24unsigned long set_blocks(long len);
25void set_initialize(set_type *setp,long len);
26void set_free(set_type set);
27void set_emptyset(set_type set);
28void set_copy(set_type setcopy,set_type set);
29void set_addelem(set_type set, long elem);
30void set_delelem(set_type set, long elem);
31void set_int(set_type set,set_type set1,set_type set2);
32void set_uni(set_type set,set_type set1,set_type set2);
33void set_diff(set_type set,set_type set1,set_type set2);
34void set_compl(set_type set,set_type set1);
35int set_subset(set_type set1,set_type set2);
36int set_member(long elem, set_type set);
37long set_card(set_type set);
38long set_groundsize(set_type set); /* output the size of the ground set */
39void set_write(set_type set);
40void set_fwrite(FILE *f,set_type set);
41void set_fwrite_compl(FILE *f,set_type set); /* write the complement */
42void set_binwrite(set_type set);
43void set_fbinwrite(FILE *f,set_type set);
44
45#if defined(__cplusplus)
46}
47#endif
48
49/* End of File: setoper.h */
50