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

#include <cgt.h>

Public Attributes

int nLevelMax
 
int nCandMax
 
int nOdcMax
 
int nConfMax
 
int nVarsMin
 
int nFlopsMin
 
int fAreaOnly
 
int fVerbose
 
int fVeryVerbose
 

Detailed Description

Definition at line 49 of file cgt.h.

Member Data Documentation

◆ fAreaOnly

int Cgt_Par_t_::fAreaOnly

Definition at line 57 of file cgt.h.

◆ fVerbose

int Cgt_Par_t_::fVerbose

Definition at line 58 of file cgt.h.

◆ fVeryVerbose

int Cgt_Par_t_::fVeryVerbose

Definition at line 59 of file cgt.h.

◆ nCandMax

int Cgt_Par_t_::nCandMax

Definition at line 52 of file cgt.h.

◆ nConfMax

int Cgt_Par_t_::nConfMax

Definition at line 54 of file cgt.h.

◆ nFlopsMin

int Cgt_Par_t_::nFlopsMin

Definition at line 56 of file cgt.h.

◆ nLevelMax

int Cgt_Par_t_::nLevelMax

Definition at line 51 of file cgt.h.

◆ nOdcMax

int Cgt_Par_t_::nOdcMax

Definition at line 53 of file cgt.h.

◆ nVarsMin

int Cgt_Par_t_::nVarsMin

Definition at line 55 of file cgt.h.

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