Res_Sim_t_ Struct Reference

#include <resInt.h>

Data Fields
Abc_Ntk_t *	pAig
int	nTruePis
int	fConst0
int	fConst1
int	nWords
int	nPats
int	nWordsIn
int	nPatsIn
int	nBytesIn
int	nWordsOut
int	nPatsOut
Vec_Ptr_t *	vPats
Vec_Ptr_t *	vPats0
Vec_Ptr_t *	vPats1
Vec_Ptr_t *	vOuts
int	nPats0
int	nPats1
Vec_Vec_t *	vCands
abctime	timeSat

Detailed Description

Definition at line 70 of file resInt.h.

Field Documentation

int Res_Sim_t_::fConst0

Definition at line 74 of file resInt.h.

int Res_Sim_t_::fConst1

Definition at line 75 of file resInt.h.

int Res_Sim_t_::nBytesIn

Definition at line 81 of file resInt.h.

int Res_Sim_t_::nPats

Definition at line 78 of file resInt.h.

int Res_Sim_t_::nPats0

Definition at line 89 of file resInt.h.

int Res_Sim_t_::nPats1

Definition at line 90 of file resInt.h.

int Res_Sim_t_::nPatsIn

Definition at line 80 of file resInt.h.

int Res_Sim_t_::nPatsOut

Definition at line 83 of file resInt.h.

int Res_Sim_t_::nTruePis

Definition at line 73 of file resInt.h.

int Res_Sim_t_::nWords

Definition at line 77 of file resInt.h.

int Res_Sim_t_::nWordsIn

Definition at line 79 of file resInt.h.

int Res_Sim_t_::nWordsOut

Definition at line 82 of file resInt.h.

Abc_Ntk_t* Res_Sim_t_::pAig

Definition at line 72 of file resInt.h.

abctime Res_Sim_t_::timeSat

Definition at line 94 of file resInt.h.

Vec_Vec_t* Res_Sim_t_::vCands

Definition at line 92 of file resInt.h.

Vec_Ptr_t* Res_Sim_t_::vOuts

Definition at line 88 of file resInt.h.

Vec_Ptr_t* Res_Sim_t_::vPats

Definition at line 85 of file resInt.h.

Vec_Ptr_t* Res_Sim_t_::vPats0

Definition at line 86 of file resInt.h.

Vec_Ptr_t* Res_Sim_t_::vPats1

Definition at line 87 of file resInt.h.

---

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

• resInt.h