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

#include <espresso.h>

Data Fields

int size
 
int num_vars
 
int num_binary_vars
 
int * first_part
 
int * last_part
 
int * part_size
 
int * first_word
 
int * last_word
 
pset binary_mask
 
pset mv_mask
 
psetvar_mask
 
psettemp
 
pset fullset
 
pset emptyset
 
unsigned int inmask
 
int inword
 
int * sparse
 
int num_mv_vars
 
int output
 

Detailed Description

Definition at line 471 of file espresso.h.

Field Documentation

pset cube_struct::binary_mask

Definition at line 480 of file espresso.h.

pset cube_struct::emptyset

Definition at line 485 of file espresso.h.

int* cube_struct::first_part

Definition at line 475 of file espresso.h.

int* cube_struct::first_word

Definition at line 478 of file espresso.h.

pset cube_struct::fullset

Definition at line 484 of file espresso.h.

unsigned int cube_struct::inmask

Definition at line 486 of file espresso.h.

int cube_struct::inword

Definition at line 487 of file espresso.h.

int* cube_struct::last_part

Definition at line 476 of file espresso.h.

int* cube_struct::last_word

Definition at line 479 of file espresso.h.

pset cube_struct::mv_mask

Definition at line 481 of file espresso.h.

int cube_struct::num_binary_vars

Definition at line 474 of file espresso.h.

int cube_struct::num_mv_vars

Definition at line 489 of file espresso.h.

int cube_struct::num_vars

Definition at line 473 of file espresso.h.

int cube_struct::output

Definition at line 490 of file espresso.h.

int* cube_struct::part_size

Definition at line 477 of file espresso.h.

int cube_struct::size

Definition at line 472 of file espresso.h.

int* cube_struct::sparse

Definition at line 488 of file espresso.h.

pset* cube_struct::temp

Definition at line 483 of file espresso.h.

pset* cube_struct::var_mask

Definition at line 482 of file espresso.h.


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