summaryrefslogtreecommitdiffstats
path: root/abc70930/src/misc/espresso/globals.c
blob: d04771e9aca6c5961bbb2c340615226f7f577d0c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
/*
 * Revision Control Information
 *
 * $Source$
 * $Author$
 * $Revision$
 * $Date$
 *
 */
#include "espresso.h"

/*
 *    Global Variable Declarations
 */

unsigned int debug;              /* debug parameter */
bool verbose_debug;              /* -v:  whether to print a lot */
char *total_name[TIME_COUNT];    /* basic function names */
long total_time[TIME_COUNT];     /* time spent in basic fcts */
int total_calls[TIME_COUNT];     /* # calls to each fct */

bool echo_comments;         /* turned off by -eat option */
bool echo_unknown_commands;     /* always true ?? */
bool force_irredundant;          /* -nirr command line option */
bool skip_make_sparse;
bool kiss;                       /* -kiss command line option */
bool pos;                        /* -pos command line option */
bool print_solution;             /* -x command line option */
bool recompute_onset;            /* -onset command line option */
bool remove_essential;           /* -ness command line option */
bool single_expand;              /* -fast command line option */
bool summary;                    /* -s command line option */
bool trace;                      /* -t command line option */
bool unwrap_onset;               /* -nunwrap command line option */
bool use_random_order;         /* -random command line option */
bool use_super_gasp;         /* -strong command line option */
char *filename;             /* filename PLA was read from */

struct pla_types_struct pla_types[] = {
    "-f", F_type,
    "-r", R_type,
    "-d", D_type,
    "-fd", FD_type,
    "-fr", FR_type,
    "-dr", DR_type,
    "-fdr", FDR_type,
    "-fc", F_type | CONSTRAINTS_type,
    "-rc", R_type | CONSTRAINTS_type,
    "-dc", D_type | CONSTRAINTS_type,
    "-fdc", FD_type | CONSTRAINTS_type,
    "-frc", FR_type | CONSTRAINTS_type,
    "-drc", DR_type | CONSTRAINTS_type,
    "-fdrc", FDR_type | CONSTRAINTS_type,
    "-pleasure", PLEASURE_type,
    "-eqn", EQNTOTT_type,
    "-eqntott", EQNTOTT_type,
    "-kiss", KISS_type,
    "-cons", CONSTRAINTS_type,
    "-scons", SYMBOLIC_CONSTRAINTS_type,
    0, 0
};


struct cube_struct cube, temp_cube_save;
struct cdata_struct cdata, temp_cdata_save;

int bit_count[256] = {
  0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,
  1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
  1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
  2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
  1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
  2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
  2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
  3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,4,5,5,6,5,6,6,7,5,6,6,7,6,7,7,8
};