ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Variables
globals.c File Reference
#include "espresso.h"
Include dependency graph for globals.c:

Go to the source code of this file.

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

◆ bit_count

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.

70 {
71 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,
72 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,
73 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,
74 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,
75 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,
76 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,
77 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,
78 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
79};

◆ debug

ABC_NAMESPACE_IMPL_START unsigned int debug

Definition at line 19 of file globals.c.

◆ echo_comments

bool echo_comments

Definition at line 25 of file globals.c.

◆ echo_unknown_commands

bool echo_unknown_commands

Definition at line 26 of file globals.c.

◆ filename

char* filename

Definition at line 40 of file globals.c.

◆ force_irredundant

bool force_irredundant

Definition at line 27 of file globals.c.

◆ kiss

bool kiss

Definition at line 29 of file globals.c.

◆ pla_types

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}
}
EQNTOTT_type
#define EQNTOTT_type
Definition espresso.h:341
PLEASURE_type
#define PLEASURE_type
Definition espresso.h:340
FDR_type
#define FDR_type
Definition espresso.h:348
KISS_type
#define KISS_type
Definition espresso.h:342
F_type
#define F_type
Definition espresso.h:337
SYMBOLIC_CONSTRAINTS_type
#define SYMBOLIC_CONSTRAINTS_type
Definition espresso.h:344
CONSTRAINTS_type
#define CONSTRAINTS_type
Definition espresso.h:343
R_type
#define R_type
Definition espresso.h:339
D_type
#define D_type
Definition espresso.h:338
FD_type
#define FD_type
Definition espresso.h:345
DR_type
#define DR_type
Definition espresso.h:347
FR_type
#define FR_type
Definition espresso.h:346

Definition at line 42 of file globals.c.

42 {
43 {"-f", F_type},
44 {"-r", R_type},
45 {"-d", D_type},
46 {"-fd", FD_type},
47 {"-fr", FR_type},
48 {"-dr", DR_type},
49 {"-fdr", FDR_type},
50 {"-fc", F_type | CONSTRAINTS_type},
51 {"-rc", R_type | CONSTRAINTS_type},
52 {"-dc", D_type | CONSTRAINTS_type},
53 {"-fdc", FD_type | CONSTRAINTS_type},
54 {"-frc", FR_type | CONSTRAINTS_type},
55 {"-drc", DR_type | CONSTRAINTS_type},
56 {"-fdrc", FDR_type | CONSTRAINTS_type},
57 {"-pleasure", PLEASURE_type},
58 {"-eqn", EQNTOTT_type},
59 {"-eqntott", EQNTOTT_type},
60 {"-kiss", KISS_type},
61 {"-cons", CONSTRAINTS_type},
62 {"-scons", SYMBOLIC_CONSTRAINTS_type},
63 {0, 0}
64};

◆ pos

bool pos

Definition at line 30 of file globals.c.

◆ print_solution

bool print_solution

Definition at line 31 of file globals.c.

◆ recompute_onset

bool recompute_onset

Definition at line 32 of file globals.c.

◆ remove_essential

bool remove_essential

Definition at line 33 of file globals.c.

◆ single_expand

bool single_expand

Definition at line 34 of file globals.c.

◆ skip_make_sparse

bool skip_make_sparse

Definition at line 28 of file globals.c.

◆ summary

bool summary

Definition at line 35 of file globals.c.

◆ temp_cdata_save

struct cdata_struct cdata temp_cdata_save

Definition at line 68 of file globals.c.

◆ temp_cube_save

struct cube_struct cube temp_cube_save

Definition at line 67 of file globals.c.

◆ total_calls

int total_calls[TIME_COUNT]

Definition at line 23 of file globals.c.

◆ total_name

char* total_name[TIME_COUNT]

Definition at line 21 of file globals.c.

◆ total_time

long total_time[TIME_COUNT]

Definition at line 22 of file globals.c.

◆ trace

bool trace

Definition at line 36 of file globals.c.

◆ unwrap_onset

bool unwrap_onset

Definition at line 37 of file globals.c.

◆ use_random_order

bool use_random_order

Definition at line 38 of file globals.c.

◆ use_super_gasp

bool use_super_gasp

Definition at line 39 of file globals.c.

◆ verbose_debug

bool verbose_debug

Definition at line 20 of file globals.c.