Sim_Man_t_ Struct Reference

#include <sim.h>

Collaboration diagram for Sim_Man_t_:

[legend]

Data Fields
Abc_Ntk_t *	pNtk
int	nInputs
int	nOutputs
int	fLightweight
int	nSimBits
int	nSimWords
Vec_Ptr_t *	vSim0
Vec_Ptr_t *	vSim1
int	nSuppBits
int	nSuppWords
Vec_Ptr_t *	vSuppStr
Vec_Ptr_t *	vSuppFun
Vec_Vec_t *	vSuppTargs
int	iInput
Extra_MmFixed_t *	pMmPat
Vec_Ptr_t *	vFifo
Vec_Int_t *	vDiffs
int	nSatRuns
int	nSatRunsSat
int	nSatRunsUnsat
int	timeSim
int	timeTrav
int	timeFraig
int	timeSat
int	timeTotal

---

Detailed Description

Definition at line 99 of file sim.h.

---

Field Documentation

int Sim_Man_t_::fLightweight

Definition at line 105 of file sim.h.

int Sim_Man_t_::iInput

Definition at line 118 of file sim.h.

int Sim_Man_t_::nInputs

Definition at line 103 of file sim.h.

int Sim_Man_t_::nOutputs

Definition at line 104 of file sim.h.

int Sim_Man_t_::nSatRuns

Definition at line 123 of file sim.h.

int Sim_Man_t_::nSatRunsSat

Definition at line 124 of file sim.h.

int Sim_Man_t_::nSatRunsUnsat

Definition at line 125 of file sim.h.

int Sim_Man_t_::nSimBits

Definition at line 107 of file sim.h.

int Sim_Man_t_::nSimWords

Definition at line 108 of file sim.h.

int Sim_Man_t_::nSuppBits

Definition at line 112 of file sim.h.

int Sim_Man_t_::nSuppWords

Definition at line 113 of file sim.h.

Extra_MmFixed_t* Sim_Man_t_::pMmPat

Definition at line 120 of file sim.h.

Abc_Ntk_t* Sim_Man_t_::pNtk

Definition at line 102 of file sim.h.

int Sim_Man_t_::timeFraig

Definition at line 129 of file sim.h.

int Sim_Man_t_::timeSat

Definition at line 130 of file sim.h.

int Sim_Man_t_::timeSim

Definition at line 127 of file sim.h.

int Sim_Man_t_::timeTotal

Definition at line 131 of file sim.h.

int Sim_Man_t_::timeTrav

Definition at line 128 of file sim.h.

Vec_Int_t* Sim_Man_t_::vDiffs

Definition at line 122 of file sim.h.

Vec_Ptr_t* Sim_Man_t_::vFifo

Definition at line 121 of file sim.h.

Vec_Ptr_t* Sim_Man_t_::vSim0

Definition at line 109 of file sim.h.

Vec_Ptr_t* Sim_Man_t_::vSim1

Definition at line 110 of file sim.h.

Vec_Ptr_t* Sim_Man_t_::vSuppFun

Definition at line 115 of file sim.h.

Vec_Ptr_t* Sim_Man_t_::vSuppStr

Definition at line 114 of file sim.h.

Vec_Vec_t* Sim_Man_t_::vSuppTargs

Definition at line 117 of file sim.h.

---

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

• src/opt/sim/sim.h