ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Gia_ManTranStochParam Struct Reference
Collaboration diagram for Gia_ManTranStochParam:
Collaboration graph
[legend]

Public Attributes

Gia_Man_t * pStart
 
int nSeed
 
int nHops
 
int nRestarts
 
int nSeedBase
 
int fMspf
 
int fMerge
 
int fResetHop
 
int fZeroCostHop
 
int fRefactor
 
int fTruth
 
int fNewLine
 
Gia_Man_t * pExdc
 
int nVerbose
 

Detailed Description

Definition at line 103 of file giaTranStoch.c.

Member Data Documentation

◆ fMerge

int Gia_ManTranStochParam::fMerge

Definition at line 110 of file giaTranStoch.c.

◆ fMspf

int Gia_ManTranStochParam::fMspf

Definition at line 109 of file giaTranStoch.c.

◆ fNewLine

int Gia_ManTranStochParam::fNewLine

Definition at line 115 of file giaTranStoch.c.

◆ fRefactor

int Gia_ManTranStochParam::fRefactor

Definition at line 113 of file giaTranStoch.c.

◆ fResetHop

int Gia_ManTranStochParam::fResetHop

Definition at line 111 of file giaTranStoch.c.

◆ fTruth

int Gia_ManTranStochParam::fTruth

Definition at line 114 of file giaTranStoch.c.

◆ fZeroCostHop

int Gia_ManTranStochParam::fZeroCostHop

Definition at line 112 of file giaTranStoch.c.

◆ nHops

int Gia_ManTranStochParam::nHops

Definition at line 106 of file giaTranStoch.c.

◆ nRestarts

int Gia_ManTranStochParam::nRestarts

Definition at line 107 of file giaTranStoch.c.

◆ nSeed

int Gia_ManTranStochParam::nSeed

Definition at line 105 of file giaTranStoch.c.

◆ nSeedBase

int Gia_ManTranStochParam::nSeedBase

Definition at line 108 of file giaTranStoch.c.

◆ nVerbose

int Gia_ManTranStochParam::nVerbose

Definition at line 117 of file giaTranStoch.c.

◆ pExdc

Gia_Man_t* Gia_ManTranStochParam::pExdc

Definition at line 116 of file giaTranStoch.c.

◆ pStart

Gia_Man_t* Gia_ManTranStochParam::pStart

Definition at line 104 of file giaTranStoch.c.

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