src/misc/espresso/globals.c File Reference

#include "espresso.h"

Include dependency graph for globals.c:

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.

bool echo_comments

Definition at line 22 of file globals.c.

bool echo_unknown_commands

Definition at line 23 of file globals.c.

char* filename

Definition at line 37 of file globals.c.

bool force_irredundant

Definition at line 24 of file globals.c.

bool kiss

Definition at line 26 of file globals.c.

struct pla_types_struct pla_types[]

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
}