misc/espresso/main.h File Reference

Go to the source code of this file.

Enumerations
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_MANY_ESPRESSO, KEY_separate, KEY_xor,   KEY_d1merge_in, KEY_fsm, KEY_unknown }

Variables
struct {
char *   name
enum keys   key
int   num_plas
bool   needs_offset
bool   needs_dcset
}	option_table []
struct {
char *   name
int   value
}	debug_table []
struct {
char *   name
int *   variable
int   value
}	esp_opt_table []

Enumeration Type Documentation

enum keys

Enumerator
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_MANY_ESPRESSO
KEY_separate
KEY_xor
KEY_d1merge_in
KEY_fsm
KEY_unknown

Definition at line 10 of file misc/espresso/main.h.

          {
    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_MANY_ESPRESSO,
    KEY_separate, KEY_xor, KEY_d1merge_in, KEY_fsm,
    KEY_unknown
};

Variable Documentation

struct { ... } debug_table[]

Initial value:

= {
    "", 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,
}

struct { ... } esp_opt_table[]

Initial value:

= {
    "eat", &echo_comments, FALSE,
    "eatdots", &echo_unknown_commands, FALSE,
    "fast", &single_expand, TRUE,
    "kiss", &kiss, TRUE,
    "ness", &remove_essential, FALSE,
    "nirr", &force_irredundant, FALSE,
    "nunwrap", &unwrap_onset, FALSE,
    "onset", &recompute_onset, TRUE,
    "pos", &pos, TRUE,
    "random", &use_random_order, TRUE,
    "strong", &use_super_gasp, TRUE,
    0,
}

enum keys key

Definition at line 25 of file misc/espresso/main.h.

char* name

Definition at line 24 of file misc/espresso/main.h.

bool needs_dcset

Definition at line 28 of file misc/espresso/main.h.

bool needs_offset

Definition at line 27 of file misc/espresso/main.h.

int num_plas

Definition at line 26 of file misc/espresso/main.h.

struct { ... } option_table[]

int value

Definition at line 90 of file misc/espresso/main.h.

int* variable

Definition at line 107 of file misc/espresso/main.h.