#include "espresso.h"
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] |
int bit_count[256] |
{ 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 }
struct pla_types_struct pla_types[] |
{ "-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 }
struct cdata_struct cdata temp_cdata_save |
struct cube_struct cube temp_cube_save |
int total_calls[TIME_COUNT] |
char* total_name[TIME_COUNT] |
long total_time[TIME_COUNT] |