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

Public Attributes

Gia_Man_t * pIn
 
Gia_Man_t * pOut
 
char * pScript
 
int Rand
 
int TimeOut
 
Abc_Ntk_t * pIn
 
Abc_Ntk_t * pOut
 

Detailed Description

Function*************************************************************

Synopsis [Generic concurrent processing.]

Description [User-defined problem-specific data and the way to process it.]

SideEffects []

SeeAlso []

Definition at line 153 of file giaStoch.c.

Member Data Documentation

◆ pIn [1/2]

Gia_Man_t* StochSynData_t_::pIn

Definition at line 155 of file giaStoch.c.

◆ pIn [2/2]

Abc_Ntk_t* StochSynData_t_::pIn

Definition at line 1287 of file abcPart.c.

◆ pOut [1/2]

Gia_Man_t* StochSynData_t_::pOut

Definition at line 156 of file giaStoch.c.

◆ pOut [2/2]

Abc_Ntk_t* StochSynData_t_::pOut

Definition at line 1288 of file abcPart.c.

◆ pScript

char * StochSynData_t_::pScript

Definition at line 157 of file giaStoch.c.

◆ Rand

int StochSynData_t_::Rand

Definition at line 158 of file giaStoch.c.

◆ TimeOut

int StochSynData_t_::TimeOut

Definition at line 159 of file giaStoch.c.

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