abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
cdata_struct Struct Reference

#include <espresso.h>

Data Fields

int * part_zeros
 
int * var_zeros
 
int * parts_active
 
boolis_unate
 
int vars_active
 
int vars_unate
 
int best
 

Detailed Description

Definition at line 493 of file espresso.h.

Field Documentation

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.


The documentation for this struct was generated from the following file: