src/misc/espresso/globals.c File Reference

#include "espresso.h"
Include dependency graph for globals.c:

Go to the source code of this file.

Variables

unsigned int debug
bool verbose_debug
char * total_name [TIME_COUNT]
long total_time [TIME_COUNT]
int total_calls [TIME_COUNT]
bool echo_comments
bool echo_unknown_commands
bool force_irredundant
bool skip_make_sparse
bool kiss
bool pos
bool print_solution
bool recompute_onset
bool remove_essential
bool single_expand
bool summary
bool trace
bool unwrap_onset
bool use_random_order
bool use_super_gasp
char * filename
struct pla_types_struct pla_types []
struct cube_struct cube temp_cube_save
struct cdata_struct cdata temp_cdata_save
int bit_count [256]

Variable Documentation

int bit_count[256]
Initial value:
 {
  0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,
  1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
  1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
  2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
  1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
  2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
  2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
  3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,4,5,5,6,5,6,6,7,5,6,6,7,6,7,7,8
}

Definition at line 67 of file globals.c.

unsigned int debug

Definition at line 16 of file globals.c.

Definition at line 22 of file globals.c.

Definition at line 23 of file globals.c.

char* filename

Definition at line 37 of file globals.c.

Definition at line 24 of file globals.c.

Definition at line 26 of file globals.c.

Initial value:
 {
    "-f", F_type,
    "-r", R_type,
    "-d", D_type,
    "-fd", FD_type,
    "-fr", FR_type,
    "-dr", DR_type,
    "-fdr", FDR_type,
    "-fc", F_type | CONSTRAINTS_type,
    "-rc", R_type | CONSTRAINTS_type,
    "-dc", D_type | CONSTRAINTS_type,
    "-fdc", FD_type | CONSTRAINTS_type,
    "-frc", FR_type | CONSTRAINTS_type,
    "-drc", DR_type | CONSTRAINTS_type,
    "-fdrc", FDR_type | CONSTRAINTS_type,
    "-pleasure", PLEASURE_type,
    "-eqn", EQNTOTT_type,
    "-eqntott", EQNTOTT_type,
    "-kiss", KISS_type,
    "-cons", CONSTRAINTS_type,
    "-scons", SYMBOLIC_CONSTRAINTS_type,
    0, 0
}

Definition at line 39 of file globals.c.

Definition at line 27 of file globals.c.

Definition at line 28 of file globals.c.

Definition at line 29 of file globals.c.

Definition at line 30 of file globals.c.

Definition at line 31 of file globals.c.

Definition at line 25 of file globals.c.

Definition at line 32 of file globals.c.

Definition at line 65 of file globals.c.

Definition at line 64 of file globals.c.

int total_calls[TIME_COUNT]

Definition at line 20 of file globals.c.

char* total_name[TIME_COUNT]

Definition at line 18 of file globals.c.

long total_time[TIME_COUNT]

Definition at line 19 of file globals.c.

Definition at line 33 of file globals.c.

Definition at line 34 of file globals.c.

Definition at line 35 of file globals.c.

Definition at line 36 of file globals.c.

Definition at line 17 of file globals.c.


Generated on Tue Jan 5 12:19:11 2010 for abc70930 by  doxygen 1.6.1