/
Options.ml
71 lines (67 loc) · 1.71 KB
/
Options.ml
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
type options_record = {
mutable interactive_mode : bool;
mutable grammar_file: string;
mutable verbosity: int;
mutable self_seed : bool;
mutable self_seed_set : bool;
mutable random_seed: int;
mutable random_seed_set: bool;
mutable size_min: int;
mutable size_min_set: bool;
mutable size_max: int;
mutable size_max_set: bool;
mutable epsilon1: float;
mutable epsilon1_set: bool;
mutable epsilon1_factor: float;
mutable epsilon1_factor_set: bool;
mutable epsilon2: float;
mutable epsilon2_set: bool;
mutable epsilon2_factor: float;
mutable epsilon2_factor_set: bool;
mutable with_prefix: bool;
mutable with_prefix_set: bool;
mutable idprefix: string;
mutable idprefix_set: bool;
mutable max_try: int;
mutable max_try_set: bool;
mutable ratio_rejected: float;
mutable ratio_rejected_set: bool;
mutable max_refine: int;
mutable max_refine_set: bool;
mutable output_type: int;
mutable fileName: string;
} ;;
let global_options = {
interactive_mode = false;
grammar_file = "";
verbosity = 1;
self_seed = true;
self_seed_set = false;
random_seed = 1234;
random_seed_set = false;
size_min = 10;
size_min_set = false;
size_max = 100;
size_max_set = false;
epsilon1 = 0.001;
epsilon1_set = false;
epsilon1_factor = 0.1;
epsilon1_factor_set = false;
epsilon2 = 0.0001;
epsilon2_set = false;
epsilon2_factor = 0.1;
epsilon2_factor_set = false;
with_prefix = false;
with_prefix_set = false;
idprefix = "";
idprefix_set = false;
max_try = 100;
max_try_set = false;
ratio_rejected = 0.8;
ratio_rejected_set = false;
max_refine = 6;
max_refine_set = false;
output_type = 0;
fileName = "tree";
} ;;
exception Option_Error of string ;;