← Back to branch summary

~verifypn-maintainers/verifypn/emptyTracePrint

« back to all changes in this revision

Viewing changes to lpsolve/lp_Hash.h

  • Committer: Jiri Srba
  • Date: 2018-04-18 10:58:36 UTC
  • mfrom: (197.3.78 cpn_ctlss)
  • Revision ID: srba.jiri@gmail.com-20180418105836-a5rha272u0om4u77
merged in branch lp:~verifypn-cpn/verifypn/cpn_ctlss/

CPN unfolding
CPN linear overapproximation
Export of reduced queries and model
parallel query simplification
TAR for P/T nets
Improved structural reduction rules

Show diffs side-by-side

added added

removed removed

Lines of Context:
lpsolve/lp_Hash.h
3
3
 
4
4
/* For row and column name hash tables */
5
5
 
6
 
typedef struct _hashelem {
7
 
    char *name;
8
 
    int index;
9
 
    struct _hashelem *next;
10
 
    struct _hashelem *nextelem;
 
6
typedef struct _hashelem
 
7
{
 
8
  char             *name;
 
9
  int               index;
 
10
  struct _hashelem *next;
 
11
  struct _hashelem *nextelem;
11
12
} hashelem;
12
13
 
13
 
typedef struct /* _hashtable */ {
14
 
    hashelem **table;
15
 
    int size;
16
 
    int base;
17
 
    int count;
18
 
    struct _hashelem *first;
19
 
    struct _hashelem *last;
 
14
typedef struct /* _hashtable */
 
15
{
 
16
  hashelem         **table;
 
17
  int              size;
 
18
  int              base;
 
19
  int              count;
 
20
  struct _hashelem *first;
 
21
  struct _hashelem *last;
20
22
} hashtable;
21
23
 
22
24
#ifdef __cplusplus
23
25
extern "C" {
24
26
#endif
25
27
 
26
 
    STATIC hashtable *create_hash_table(int size, int base);
27
 
    STATIC void free_hash_table(hashtable *ht);
28
 
    STATIC hashelem *findhash(const char *name, hashtable *ht);
29
 
    STATIC hashelem *puthash(const char *name, int index, hashelem **list, hashtable *ht);
30
 
    STATIC void drophash(const char *name, hashelem **list, hashtable *ht);
31
 
    STATIC void free_hash_item(hashelem **hp);
32
 
    STATIC hashtable *copy_hash_table(hashtable *ht, hashelem **list, int newsize);
33
 
    STATIC int find_var(lprec *lp, char *name, MYBOOL verbose);
34
 
    STATIC int find_row(lprec *lp, char *name, MYBOOL Unconstrained_rows_found);
 
28
STATIC hashtable *create_hash_table(int size, int base);
 
29
STATIC void      free_hash_table(hashtable *ht);
 
30
STATIC hashelem  *findhash(const char *name, hashtable *ht);
 
31
STATIC hashelem  *puthash(const char *name, int index, hashelem **list, hashtable *ht);
 
32
STATIC void      drophash(const char *name, hashelem **list, hashtable *ht);
 
33
STATIC void      free_hash_item(hashelem **hp);
 
34
STATIC hashtable *copy_hash_table(hashtable *ht, hashelem **list, int newsize);
 
35
STATIC int find_var(lprec *lp, char *name, MYBOOL verbose);
 
36
STATIC int find_row(lprec *lp, char *name, MYBOOL Unconstrained_rows_found);
35
37
 
36
38
#ifdef __cplusplus
37
 
}
 
39
 }
38
40
#endif
39
41
 
40
42
#endif /* HEADER_lp_hash */