Sim_Man_t_ Struct Reference

#include <sim.h>

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
abctime	timeSim
abctime	timeTrav
abctime	timeFraig
abctime	timeSat
abctime	timeTotal

Detailed Description

Definition at line 101 of file sim.h.

Field Documentation

int Sim_Man_t_::fLightweight

Definition at line 107 of file sim.h.

int Sim_Man_t_::iInput

Definition at line 120 of file sim.h.

int Sim_Man_t_::nInputs

Definition at line 105 of file sim.h.

int Sim_Man_t_::nOutputs

Definition at line 106 of file sim.h.

int Sim_Man_t_::nSatRuns

Definition at line 125 of file sim.h.

int Sim_Man_t_::nSatRunsSat

Definition at line 126 of file sim.h.

int Sim_Man_t_::nSatRunsUnsat

Definition at line 127 of file sim.h.

int Sim_Man_t_::nSimBits

Definition at line 109 of file sim.h.

int Sim_Man_t_::nSimWords

Definition at line 110 of file sim.h.

int Sim_Man_t_::nSuppBits

Definition at line 114 of file sim.h.

int Sim_Man_t_::nSuppWords

Definition at line 115 of file sim.h.

Extra_MmFixed_t* Sim_Man_t_::pMmPat

Definition at line 122 of file sim.h.

Abc_Ntk_t* Sim_Man_t_::pNtk

Definition at line 104 of file sim.h.

abctime Sim_Man_t_::timeFraig

Definition at line 131 of file sim.h.

abctime Sim_Man_t_::timeSat

Definition at line 132 of file sim.h.

abctime Sim_Man_t_::timeSim

Definition at line 129 of file sim.h.

abctime Sim_Man_t_::timeTotal

Definition at line 133 of file sim.h.

abctime Sim_Man_t_::timeTrav

Definition at line 130 of file sim.h.

Vec_Int_t* Sim_Man_t_::vDiffs

Definition at line 124 of file sim.h.

Vec_Ptr_t* Sim_Man_t_::vFifo

Definition at line 123 of file sim.h.

Vec_Ptr_t* Sim_Man_t_::vSim0

Definition at line 111 of file sim.h.

Vec_Ptr_t* Sim_Man_t_::vSim1

Definition at line 112 of file sim.h.

Vec_Ptr_t* Sim_Man_t_::vSuppFun

Definition at line 117 of file sim.h.

Vec_Ptr_t* Sim_Man_t_::vSuppStr

Definition at line 116 of file sim.h.

Vec_Vec_t* Sim_Man_t_::vSuppTargs

Definition at line 119 of file sim.h.

---

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

• sim.h