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

Public Attributes

int nWords
 
int nIters
 
int nPref
 
int nRandPiFactor
 
int fProbOne
 
int fProbTrans
 
int fVerbose
 

Detailed Description

Definition at line 33 of file giaSwitch.c.

Member Data Documentation

◆ fProbOne

int Gia_ParSwi_t_::fProbOne

Definition at line 40 of file giaSwitch.c.

◆ fProbTrans

int Gia_ParSwi_t_::fProbTrans

Definition at line 41 of file giaSwitch.c.

◆ fVerbose

int Gia_ParSwi_t_::fVerbose

Definition at line 42 of file giaSwitch.c.

◆ nIters

int Gia_ParSwi_t_::nIters

Definition at line 37 of file giaSwitch.c.

◆ nPref

int Gia_ParSwi_t_::nPref

Definition at line 38 of file giaSwitch.c.

◆ nRandPiFactor

int Gia_ParSwi_t_::nRandPiFactor

Definition at line 39 of file giaSwitch.c.

◆ nWords

int Gia_ParSwi_t_::nWords

Definition at line 36 of file giaSwitch.c.

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