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

Public Attributes

double grpsize_base
 
int grpsize_exp
 
int levels
 
int nodes
 
int bads
 
int gens
 
int support
 

Detailed Description

Definition at line 57 of file abcSaucy.c.

Member Data Documentation

◆ bads

int saucy_stats::bads

Definition at line 62 of file abcSaucy.c.

◆ gens

int saucy_stats::gens

Definition at line 63 of file abcSaucy.c.

◆ grpsize_base

double saucy_stats::grpsize_base

Definition at line 58 of file abcSaucy.c.

◆ grpsize_exp

int saucy_stats::grpsize_exp

Definition at line 59 of file abcSaucy.c.

◆ levels

int saucy_stats::levels

Definition at line 60 of file abcSaucy.c.

◆ nodes

int saucy_stats::nodes

Definition at line 61 of file abcSaucy.c.

◆ support

int saucy_stats::support

Definition at line 64 of file abcSaucy.c.

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