abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Fsim_ParSim_t_ Struct Reference

#include <fsim.h>

Data Fields

int nWords
 
int nIters
 
int TimeLimit
 
int fCheckMiter
 
int fVerbose
 
int fCompressAig
 

Detailed Description

Definition at line 46 of file fsim.h.

Field Documentation

int Fsim_ParSim_t_::fCheckMiter

Definition at line 52 of file fsim.h.

int Fsim_ParSim_t_::fCompressAig

Definition at line 55 of file fsim.h.

int Fsim_ParSim_t_::fVerbose

Definition at line 53 of file fsim.h.

int Fsim_ParSim_t_::nIters

Definition at line 50 of file fsim.h.

int Fsim_ParSim_t_::nWords

Definition at line 49 of file fsim.h.

int Fsim_ParSim_t_::TimeLimit

Definition at line 51 of file fsim.h.


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