clan_options Struct Reference

#include <options.h>

List of all members.

Public Attributes

char * name
int castle
int structure
int inputscop
int arraystag
int bounded_context

Detailed Description

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...


Member Data Documentation

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().

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().


The documentation for this struct was generated from the following file:

Generated on Mon Jan 11 21:20:43 2010 for Clan by  doxygen 1.6.1