/* 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_FLARES_ITERS_FACTOR,
    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_DEPTH_TESTS_ORDER_2,
    FCS_OPT_SET_PRUNING,
    FCS_OPT_CACHE_LIMIT,
    FCS_OPT_FLARES_CHOICE,
    FCS_OPT_PATSOLVE_X_PARAM,
    FCS_OPT_PATSOLVE_Y_PARAM
};
