1
enum FCS_COMMAND_LINE_OPTIONS
10
FCS_OPT_SEQUENCES_ARE_BUILT_BY,
11
FCS_OPT_SEQUENCE_MOVE,
12
FCS_OPT_EMPTY_STACKS_FILLED_BY,
15
FCS_OPT_A_STAR_WEIGHTS,
16
FCS_OPT_OPTIMIZE_SOLUTION,
18
FCS_OPT_MAX_STORED_STATES,
19
FCS_OPT_NEXT_SOFT_THREAD,
20
FCS_OPT_NEXT_HARD_THREAD,
21
FCS_OPT_SOFT_THREAD_STEP,
22
FCS_OPT_REPARENT_STATES,
23
FCS_OPT_CALC_REAL_DEPTH,
26
FCS_OPT_OPTIMIZATION_TESTS_ORDER,
27
FCS_OPT_SCANS_SYNERGY,
29
FCS_OPT_READ_FROM_FILE,