#ifndef TABLES_H_73567613734556464165464654
#define TABLES_H_73567613734556464165464654
//#include "EspressoStructs.h" //kvoli bool3

/** MM: povodne to sluzilo pre stary main() a novo navrhnutu kniznicu;
 * teraz uz len pre novo vytovrenu kniznicnu nadstavbu */
/*
enum keys {
    KEY_ESPRESSO, KEY_PLA_verify, KEY_check, KEY_contain, KEY_d1merge,
    KEY_disjoint, KEY_dsharp, KEY_echo, KEY_essen, KEY_exact, KEY_expand,
    KEY_gasp, KEY_intersect, KEY_irred, KEY_lexsort, KEY_make_sparse,
    KEY_map, KEY_mapdc, KEY_minterms, KEY_opo, KEY_opoall,
    KEY_pair, KEY_pairall, KEY_primes, KEY_qm, KEY_reduce, KEY_sharp,
    KEY_simplify, KEY_so, KEY_so_both, KEY_stats, KEY_super_gasp, KEY_taut,
    KEY_test, KEY_equiv, KEY_union, KEY_verify, KEY_separate, KEY_xor, 
    KEY_d1merge_in, KEY_signature, KEY_unknown
};*/

/* Lookup table for program options */
/*
struct option_line {
    char *name;
    enum keys key;
    int num_plas;
    bool3 needs_offset;
    bool3 needs_dcset;
};*/

struct debug_line{
    char *name;
    int value;
};

/*
struct esp_opt_line {
    char *name;
    int *variable;
    int value;
};*/

//extern struct option_line option_table [];
extern struct debug_line debug_table[];
//extern struct esp_opt_line esp_opt_table[];

#endif /* TABLES_H_73567613734556464165464654 */
