#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 489 of file espresso.h.
Definition at line 496 of file espresso.h.
Definition at line 493 of file espresso.h.
Definition at line 490 of file espresso.h.
Definition at line 492 of file espresso.h.
Definition at line 491 of file espresso.h.
Definition at line 494 of file espresso.h.
Definition at line 495 of file espresso.h.