Fra_Sml_t_ Struct Reference

#include <fra.h>

Collaboration diagram for Fra_Sml_t_:

[legend]

Data Fields
Aig_Man_t *	pAig
int	nPref
int	nFrames
int	nWordsFrame
int	nWordsTotal
int	nWordsPref
int	fNonConstOut
int	nSimRounds
int	timeSim
unsigned	pData [0]

---

Detailed Description

Definition at line 106 of file fra.h.

---

Field Documentation

int Fra_Sml_t_::fNonConstOut

Definition at line 114 of file fra.h.

int Fra_Sml_t_::nFrames

Definition at line 110 of file fra.h.

int Fra_Sml_t_::nPref

Definition at line 109 of file fra.h.

int Fra_Sml_t_::nSimRounds

Definition at line 115 of file fra.h.

int Fra_Sml_t_::nWordsFrame

Definition at line 111 of file fra.h.

int Fra_Sml_t_::nWordsPref

Definition at line 113 of file fra.h.

int Fra_Sml_t_::nWordsTotal

Definition at line 112 of file fra.h.

Aig_Man_t* Fra_Sml_t_::pAig

Definition at line 108 of file fra.h.

unsigned Fra_Sml_t_::pData[0]

Definition at line 117 of file fra.h.

int Fra_Sml_t_::timeSim

Definition at line 116 of file fra.h.

---

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

• src/aig/fra/fra.h