#include "tables.h"
#include "espresso.h" // po novom header nic neincluduje

/* MM: uz nie je potrebna */
/* Lookup table for program options */
//struct option_line option_table [] = {
//    /* ways to minimize functions */
//    {"ESPRESSO", KEY_ESPRESSO, 1, TRUE3, TRUE3},    /* must be first */
///*    {"many", KEY_MANY_ESPRESSO, 1, TRUE3, TRUE3},*/
//    {"exact", KEY_exact, 1, TRUE3, TRUE3},
//    {"qm", KEY_qm, 1, TRUE3, TRUE3},
//    {"single_output", KEY_so, 1, TRUE3, TRUE3},
//    {"so", KEY_so, 1, TRUE3, TRUE3},
//    {"so_both", KEY_so_both, 1, TRUE3, TRUE3},
//    {"simplify", KEY_simplify, 1, FALSE3, FALSE3},
//    {"echo", KEY_echo, 1, FALSE3, FALSE3},
//    {"signature", KEY_signature, 1, TRUE3, TRUE3},
//
//    /* output phase assignment and assignment of inputs to two-bit decoders */
//    {"opo", KEY_opo, 1, TRUE3, TRUE3},
//    {"opoall", KEY_opoall, 1, TRUE3, TRUE3},
//    {"pair", KEY_pair, 1, TRUE3, TRUE3},
//    {"pairall", KEY_pairall, 1, TRUE3, TRUE3},
//
//    /* Ways to check covers */
//    {"check", KEY_check, 1, TRUE3, TRUE3},
//    {"stats", KEY_stats, 1, FALSE3, FALSE3},
//    {"verify", KEY_verify, 2, FALSE3, TRUE3},
//    {"PLAverify", KEY_PLA_verify, 2, FALSE3, TRUE3},
//
//    /* hacks */
//    {"equiv", KEY_equiv, 1, TRUE3, TRUE3},
//    {"map", KEY_map, 1, FALSE3, FALSE3},
//    {"mapdc", KEY_mapdc, 1, FALSE3, FALSE3},
///*    {"fsm", KEY_fsm, 1, FALSE3, TRUE3},*/
//
//    /* the basic boolean operations on covers */
//    {"contain", KEY_contain, 1, FALSE3, FALSE3},
//    {"d1merge", KEY_d1merge, 1, FALSE3, FALSE3},
//    {"d1merge_in", KEY_d1merge_in, 1, FALSE3, FALSE3},
//    {"disjoint", KEY_disjoint, 1, TRUE3, FALSE3},
//    {"dsharp", KEY_dsharp, 2, FALSE3, FALSE3},
//    {"intersect", KEY_intersect, 2, FALSE3, FALSE3},
//    {"minterms", KEY_minterms, 1, FALSE3, FALSE3},
//    {"primes", KEY_primes, 1, FALSE3, TRUE3},
//    {"separate", KEY_separate, 1, TRUE3, TRUE3},
//    {"sharp", KEY_sharp, 2, FALSE3, FALSE3},
//    {"union", KEY_union, 2, FALSE3, FALSE3},
//    {"xor", KEY_xor, 2, TRUE3, TRUE3},
//
//    /* debugging only -- call each step of the espresso algorithm */
//    {"essen", KEY_essen, 1, FALSE3, TRUE3},
//    {"expand", KEY_expand, 1, TRUE3, FALSE3},
//    {"gasp", KEY_gasp, 1, TRUE3, TRUE3},
//    {"irred", KEY_irred, 1, FALSE3, TRUE3},
//    {"make_sparse", KEY_make_sparse, 1, TRUE3, TRUE3},
//    {"reduce", KEY_reduce, 1, FALSE3, TRUE3},
//    {"taut", KEY_taut, 1, FALSE3, FALSE3},
//    {"super_gasp", KEY_super_gasp, 1, TRUE3, TRUE3},
//    {"lexsort", KEY_lexsort, 1, FALSE3, FALSE3},
//    {"test", KEY_test, 1, TRUE3, TRUE3},
//    {0, KEY_unknown, 0, FALSE3, FALSE3}             /* must be last */
//};


struct debug_line debug_table[] = {
    {"", EXPAND + ESSEN + IRRED + REDUCE + SPARSE + GASP + SHARP + MINCOV},
    {"compl",   COMPL},  {"essen",       ESSEN},
    {"expand",  EXPAND}, {"expand1",     EXPAND1|EXPAND},
    {"irred",   IRRED},  {"irred1",      IRRED1|IRRED},
    {"reduce",  REDUCE}, {"reduce1",     REDUCE1|REDUCE},
    {"mincov",  MINCOV}, {"mincov1",     MINCOV1|MINCOV},
    {"sparse",  SPARSE}, {"sharp",       SHARP},
    {"taut",    TAUT},   {"gasp",        GASP},
    {"exact",   EXACT},
    {0,0}
};

/* MM: uz nie je potrebna
struct esp_opt_line esp_opt_table[] = {
    {"eat", &echo_comments, FALSE3},
    {"eatdots", &echo_unknown_commands, FALSE3},
    {"fast", &single_expand, TRUE3},
    {"kiss", &kiss, TRUE3},
    {"ness", &remove_essential, FALSE3},
    {"nirr", &force_irredundant, FALSE3},
    {"nunwrap", &unwrap_onset, FALSE3},
    {"onset", &recompute_onset, TRUE3},
    {"random", &use_random_order, TRUE3},
    {"strong", &use_super_gasp, TRUE3},
    {0, 0, 0}
};
*/
