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

#include <res.h>

Public Attributes

int nWindow
 
int nGrowthLevel
 
int nSimWords
 
int nCands
 
int fArea
 
int fDelay
 
int fVerbose
 
int fVeryVerbose
 

Detailed Description

Definition at line 43 of file res.h.

Member Data Documentation

◆ fArea

int Res_Par_t_::fArea

Definition at line 50 of file res.h.

◆ fDelay

int Res_Par_t_::fDelay

Definition at line 51 of file res.h.

◆ fVerbose

int Res_Par_t_::fVerbose

Definition at line 52 of file res.h.

◆ fVeryVerbose

int Res_Par_t_::fVeryVerbose

Definition at line 53 of file res.h.

◆ nCands

int Res_Par_t_::nCands

Definition at line 49 of file res.h.

◆ nGrowthLevel

int Res_Par_t_::nGrowthLevel

Definition at line 47 of file res.h.

◆ nSimWords

int Res_Par_t_::nSimWords

Definition at line 48 of file res.h.

◆ nWindow

int Res_Par_t_::nWindow

Definition at line 46 of file res.h.

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