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
};
|
