abc-master
|
#include <espresso.h>
Data Fields | |
int * | part_zeros |
int * | var_zeros |
int * | parts_active |
bool * | is_unate |
int | vars_active |
int | vars_unate |
int | best |
Definition at line 493 of file espresso.h.
int cdata_struct::best |
Definition at line 500 of file espresso.h.
bool* cdata_struct::is_unate |
Definition at line 497 of file espresso.h.
int* cdata_struct::part_zeros |
Definition at line 494 of file espresso.h.
int* cdata_struct::parts_active |
Definition at line 496 of file espresso.h.
int* cdata_struct::var_zeros |
Definition at line 495 of file espresso.h.
int cdata_struct::vars_active |
Definition at line 498 of file espresso.h.
int cdata_struct::vars_unate |
Definition at line 499 of file espresso.h.