ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
cdata_struct Struct Reference

#include <espresso.h>

Public Attributes

int * part_zeros
 
int * var_zeros
 
int * parts_active
 
bool * is_unate
 
int vars_active
 
int vars_unate
 
int best
 

Detailed Description

Definition at line 493 of file espresso.h.

Member Data Documentation

◆ best

int cdata_struct::best

Definition at line 500 of file espresso.h.

◆ is_unate

bool* cdata_struct::is_unate

Definition at line 497 of file espresso.h.

◆ part_zeros

int* cdata_struct::part_zeros

Definition at line 494 of file espresso.h.

◆ parts_active

int* cdata_struct::parts_active

Definition at line 496 of file espresso.h.

◆ var_zeros

int* cdata_struct::var_zeros

Definition at line 495 of file espresso.h.

◆ vars_active

int cdata_struct::vars_active

Definition at line 498 of file espresso.h.

◆ vars_unate

int cdata_struct::vars_unate

Definition at line 499 of file espresso.h.

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