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
|
/* Copyright (c) 2000 Shlomi Fish
*
* Permission is hereby granted, free of charge, to any person
* obtaining a copy of this software and associated documentation
* files (the "Software"), to deal in the Software without
* restriction, including without limitation the rights to use,
* copy, modify, merge, publish, distribute, sublicense, and/or sell
* copies of the Software, and to permit persons to whom the
* Software is furnished to do so, subject to the following
* conditions:
*
* The above copyright notice and this permission notice shall be
* included in all copies or substantial portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
* OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
* HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
* WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
* OTHER DEALINGS IN THE SOFTWARE.
*/
/*
* cmd_line_enum.h - the ANSI C enum (= enumeration) for the command line
* arguments. Partially auto-generated.
*/
enum
{
FCS_OPT_UNRECOGNIZED,
FCS_OPT_MAX_DEPTH,
FCS_OPT_MAX_ITERS,
FCS_OPT_TESTS_ORDER,
FCS_OPT_FREECELLS_NUM,
FCS_OPT_STACKS_NUM,
FCS_OPT_DECKS_NUM,
FCS_OPT_SEQUENCES_ARE_BUILT_BY,
FCS_OPT_SEQUENCE_MOVE,
FCS_OPT_EMPTY_STACKS_FILLED_BY,
FCS_OPT_GAME,
FCS_OPT_METHOD,
FCS_OPT_BEFS_WEIGHTS,
FCS_OPT_OPTIMIZE_SOLUTION,
FCS_OPT_SEED,
FCS_OPT_MAX_STORED_STATES,
FCS_OPT_TRIM_MAX_STORED_STATES,
FCS_OPT_NEXT_INSTANCE,
FCS_OPT_NEXT_FLARE,
FCS_OPT_NEXT_SOFT_THREAD,
FCS_OPT_NEXT_HARD_THREAD,
FCS_OPT_SOFT_THREAD_STEP,
FCS_OPT_REPARENT_STATES,
FCS_OPT_CALC_REAL_DEPTH,
FCS_OPT_ST_NAME,
FCS_OPT_FLARE_NAME,
FCS_OPT_PRELUDE,
FCS_OPT_FLARES_PLAN,
FCS_OPT_OPTIMIZATION_TESTS_ORDER,
FCS_OPT_SCANS_SYNERGY,
FCS_OPT_RESET,
FCS_OPT_READ_FROM_FILE,
FCS_OPT_LOAD_CONFIG,
FCS_OPT_DEPTH_TESTS_ORDER,
FCS_OPT_SET_PRUNING,
FCS_OPT_CACHE_LIMIT
};
|
