src/misc/espresso/main.h File Reference
This graph shows which files directly or indirectly include this file:
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:
Definition at line 10 of file main.h.
00010 { 00011 KEY_ESPRESSO, KEY_PLA_verify, KEY_check, KEY_contain, KEY_d1merge, 00012 KEY_disjoint, KEY_dsharp, KEY_echo, KEY_essen, KEY_exact, KEY_expand, 00013 KEY_gasp, KEY_intersect, KEY_irred, KEY_lexsort, KEY_make_sparse, 00014 KEY_map, KEY_mapdc, KEY_minterms, KEY_opo, KEY_opoall, 00015 KEY_pair, KEY_pairall, KEY_primes, KEY_qm, KEY_reduce, KEY_sharp, 00016 KEY_simplify, KEY_so, KEY_so_both, KEY_stats, KEY_super_gasp, KEY_taut, 00017 KEY_test, KEY_equiv, KEY_union, KEY_verify, KEY_MANY_ESPRESSO, 00018 KEY_separate, KEY_xor, KEY_d1merge_in, KEY_fsm, 00019 KEY_unknown 00020 };
Variable Documentation
| struct { ... } debug_table[] |
| struct { ... } esp_opt_table[] |
| struct { ... } option_table[] |
