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

#include <espresso.h>

Collaboration diagram for set_family:
Collaboration graph
[legend]

Public Attributes

int wsize
 
int sf_size
 
int capacity
 
int count
 
int active_count
 
pset data
 
struct set_family * next
 

Detailed Description

Definition at line 76 of file espresso.h.

Member Data Documentation

◆ active_count

int set_family::active_count

Definition at line 81 of file espresso.h.

◆ capacity

int set_family::capacity

Definition at line 79 of file espresso.h.

◆ count

int set_family::count

Definition at line 80 of file espresso.h.

◆ data

pset set_family::data

Definition at line 82 of file espresso.h.

◆ next

struct set_family* set_family::next

Definition at line 83 of file espresso.h.

◆ sf_size

int set_family::sf_size

Definition at line 78 of file espresso.h.

◆ wsize

int set_family::wsize

Definition at line 77 of file espresso.h.

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