#include <fra.h>

Public Attributes
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 171 of file fra.h.

Member Data Documentation

◆ fNonConstOut

int Fra_Sml_t_::fNonConstOut

Definition at line 179 of file fra.h.

◆ nFrames

int Fra_Sml_t_::nFrames

Definition at line 175 of file fra.h.

◆ nPref

int Fra_Sml_t_::nPref

Definition at line 174 of file fra.h.

◆ nSimRounds

int Fra_Sml_t_::nSimRounds

Definition at line 180 of file fra.h.

◆ nWordsFrame

int Fra_Sml_t_::nWordsFrame

Definition at line 176 of file fra.h.

◆ nWordsPref

int Fra_Sml_t_::nWordsPref

Definition at line 178 of file fra.h.

◆ nWordsTotal

int Fra_Sml_t_::nWordsTotal

Definition at line 177 of file fra.h.

◆ pAig

Aig_Man_t* Fra_Sml_t_::pAig

Definition at line 173 of file fra.h.

◆ pData

unsigned Fra_Sml_t_::pData[0]

Definition at line 182 of file fra.h.

◆ timeSim

int Fra_Sml_t_::timeSim

Definition at line 181 of file fra.h.

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

src/proof/fra/fra.h

Public Attributes