#include "espresso.h"

Variables
ABC_NAMESPACE_IMPL_START 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 70 of file globals.c.

ABC_NAMESPACE_IMPL_START unsigned int debug

Definition at line 19 of file globals.c.

bool echo_comments

Definition at line 25 of file globals.c.

bool echo_unknown_commands

Definition at line 26 of file globals.c.

char* filename

Definition at line 40 of file globals.c.

bool force_irredundant

Definition at line 27 of file globals.c.

bool kiss

Definition at line 29 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}
}

Definition at line 42 of file globals.c.

bool pos

Definition at line 30 of file globals.c.

bool print_solution

Definition at line 31 of file globals.c.

bool recompute_onset

Definition at line 32 of file globals.c.

bool remove_essential

Definition at line 33 of file globals.c.

bool single_expand

Definition at line 34 of file globals.c.

bool skip_make_sparse

Definition at line 28 of file globals.c.

bool summary

Definition at line 35 of file globals.c.

struct cdata_struct cdata temp_cdata_save

Definition at line 68 of file globals.c.

struct cube_struct cube temp_cube_save

Definition at line 67 of file globals.c.

int total_calls[TIME_COUNT]

Definition at line 23 of file globals.c.

char* total_name[TIME_COUNT]

Definition at line 21 of file globals.c.

long total_time[TIME_COUNT]

Definition at line 22 of file globals.c.

bool trace

Definition at line 36 of file globals.c.

bool unwrap_onset

Definition at line 37 of file globals.c.

bool use_random_order

Definition at line 38 of file globals.c.

bool use_super_gasp

Definition at line 39 of file globals.c.

bool verbose_debug

Definition at line 20 of file globals.c.

Variables

Variable Documentation