#include <options.h>
Public Attributes | |
char * | name |
int | castle |
int | structure |
int | inputscop |
int | arraystag |
int | bounded_context |
The clan_options_t structure stores the software/library options for all functions. They are not too many for now, but they will come someday...
1 to dump the table of array names between the <arrays></arrays> tags, 0 otherwise (default).
Referenced by clan_options_malloc(), clan_options_read(), and main().
1 to force global parameters >= -1 (default 0)
Referenced by clan_options_malloc(), clan_options_print(), clan_options_read(), and yyparse().
1 to put the Clan castle in output, 0 otherwise.
Referenced by clan_options_malloc(), clan_options_print(), and main().
1 to read a .scop on the input, 0 to read a source file (default).
Referenced by clan_options_malloc(), clan_options_print(), clan_options_read(), and main().
char* clan_options::name |
Name of the input file.
Referenced by clan_options_malloc(), clan_options_print(), and clan_options_read().
1 to print the clan_scop structure, 0 otherwise.
Referenced by clan_options_malloc(), clan_options_print(), clan_options_read(), and main().