QuAcq2/globals.h at main · Dimosts/QuAcq2 · GitHub

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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
#include "constraint.h"

#define wrong -999
#define CONJUNCTION -10
#define EXTENSIONAL -100


using namespace std;

// arguments ---------------------------------------------------------------

extern int var_heuristic;	// 0: lexico, 1: dom, 2: dom / wdeg

extern int domain_heuristic;	// 0: lexico, 1: random, 2: max_bias_rej

extern bool user;

extern bool max_b;	// use of heuristic max_B for partial queries!!

extern bool min_opt;	// use of minimization of kappa_B heuristic for generating queries!!

extern bool max_opt;	// use of maximization of kappa_B heuristic for generating queries!!

extern bool sol_opt;    // use of sol heuristic for generating queries!!

extern bool solp_opt;    // use of sol partial heuristic for generating queries!!

extern bool fs2;		// use of findScope-2 or not

extern bool fs3;		// use of findScope-2 or not

extern int fc;		// use of the defined findC function

extern bool ge;          // Define the query generation process followed

extern string benchmark;

extern string algorithm_string;

extern int algorithm;

extern bool check_collapse; // check collapse or not

extern bool time_limit;

extern bool con_time_cut_off;
extern bool con_num_cut_off;

// ------------------------------------------------------------------------

// Reading from the files -------------------------------------------------

extern int **Domains;
extern int *DomainsSize;

extern int *DomainOfVar;

extern int DOM_SIZE;

extern int VAR_NUM;
extern int DOM_NUM;

extern int *condition_values;
extern int VAL_NUM;

extern Constraint_Net Sol;

extern Constraint_Net CL_init;

// -------------------------------------------------------------------------

// other globals -----------------------------------------------------------

extern Constraint_Net *CL;

extern Constraint_Net *B;

extern double cutoff;

extern double time_bound;

extern double background_percentage;       // percentage od c_t in background knowledge

// -------------------------------------------------------------------------

// for the metrics ---------------------------------------------------------

extern int counter_queries;

extern clock_t start_time, end_time;	// to measure time per query

extern double max_query_time;

extern double f_time;

extern double total_time;
extern double total_generating_time;

extern int complete_queries;
extern int queries_size_sum;

extern int counter_cutoff_1;
extern int counter_cutoff_2;

extern bool pos_query;

extern double time_only_pos;

extern clock_t start_time_pos;

extern double counter_queries_conv;

extern Constraint_Net final_B;

extern int remove_counter1;

extern int remove_counter2;

extern int counter_findc;

// -------------------------------------------------------------------------

// for multiacq ---------------

extern clock_t start_cut, end_cut;	// to measure time per query

// ----------------------------