ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Gia_ParSim_t_ Struct Reference

#include <gia.h>

Public Attributes

int nWords
 
int nIters
 
int RandSeed
 
int TimeLimit
 
int fCheckMiter
 
int fVerbose
 
int iOutFail
 

Detailed Description

Definition at line 307 of file gia.h.

Member Data Documentation

◆ fCheckMiter

int Gia_ParSim_t_::fCheckMiter

Definition at line 314 of file gia.h.

◆ fVerbose

int Gia_ParSim_t_::fVerbose

Definition at line 315 of file gia.h.

◆ iOutFail

int Gia_ParSim_t_::iOutFail

Definition at line 316 of file gia.h.

◆ nIters

int Gia_ParSim_t_::nIters

Definition at line 311 of file gia.h.

◆ nWords

int Gia_ParSim_t_::nWords

Definition at line 310 of file gia.h.

◆ RandSeed

int Gia_ParSim_t_::RandSeed

Definition at line 312 of file gia.h.

◆ TimeLimit

int Gia_ParSim_t_::TimeLimit

Definition at line 313 of file gia.h.


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