Sym_Man_t_ Struct Reference

#include <sim.h>

Collaboration diagram for Sym_Man_t_:

[legend]

Data Fields
Abc_Ntk_t *	pNtk
Vec_Ptr_t *	vNodes
int	nInputs
int	nOutputs
int	nSimWords
Vec_Ptr_t *	vSim
Vec_Ptr_t *	vSuppFun
Vec_Vec_t *	vSupports
Vec_Ptr_t *	vMatrSymms
Vec_Ptr_t *	vMatrNonSymms
Vec_Int_t *	vPairsTotal
Vec_Int_t *	vPairsSym
Vec_Int_t *	vPairsNonSym
unsigned *	uPatRand
unsigned *	uPatCol
unsigned *	uPatRow
Vec_Int_t *	vVarsU
Vec_Int_t *	vVarsV
int	iOutput
int	iVar1
int	iVar2
int	iVar1Old
int	iVar2Old
int	nSatRuns
int	nSatRunsSat
int	nSatRunsUnsat
int	nPairsSymm
int	nPairsSymmStr
int	nPairsNonSymm
int	nPairsRem
int	nPairsTotal
int	timeStruct
int	timeCount
int	timeMatr
int	timeSim
int	timeFraig
int	timeSat
int	timeTotal

---

Detailed Description

Definition at line 47 of file sim.h.

---

Field Documentation

int Sym_Man_t_::iOutput

Definition at line 73 of file sim.h.

int Sym_Man_t_::iVar1

Definition at line 74 of file sim.h.

int Sym_Man_t_::iVar1Old

Definition at line 76 of file sim.h.

int Sym_Man_t_::iVar2

Definition at line 75 of file sim.h.

int Sym_Man_t_::iVar2Old

Definition at line 77 of file sim.h.

int Sym_Man_t_::nInputs

Definition at line 52 of file sim.h.

int Sym_Man_t_::nOutputs

Definition at line 53 of file sim.h.

int Sym_Man_t_::nPairsNonSymm

Definition at line 85 of file sim.h.

int Sym_Man_t_::nPairsRem

Definition at line 86 of file sim.h.

int Sym_Man_t_::nPairsSymm

Definition at line 83 of file sim.h.

int Sym_Man_t_::nPairsSymmStr

Definition at line 84 of file sim.h.

int Sym_Man_t_::nPairsTotal

Definition at line 87 of file sim.h.

int Sym_Man_t_::nSatRuns

Definition at line 79 of file sim.h.

int Sym_Man_t_::nSatRunsSat

Definition at line 80 of file sim.h.

int Sym_Man_t_::nSatRunsUnsat

Definition at line 81 of file sim.h.

int Sym_Man_t_::nSimWords

Definition at line 55 of file sim.h.

Abc_Ntk_t* Sym_Man_t_::pNtk

Definition at line 50 of file sim.h.

int Sym_Man_t_::timeCount

Definition at line 90 of file sim.h.

int Sym_Man_t_::timeFraig

Definition at line 93 of file sim.h.

int Sym_Man_t_::timeMatr

Definition at line 91 of file sim.h.

int Sym_Man_t_::timeSat

Definition at line 94 of file sim.h.

int Sym_Man_t_::timeSim

Definition at line 92 of file sim.h.

int Sym_Man_t_::timeStruct

Definition at line 89 of file sim.h.

int Sym_Man_t_::timeTotal

Definition at line 95 of file sim.h.

unsigned* Sym_Man_t_::uPatCol

Definition at line 68 of file sim.h.

unsigned* Sym_Man_t_::uPatRand

Definition at line 67 of file sim.h.

unsigned* Sym_Man_t_::uPatRow

Definition at line 69 of file sim.h.

Vec_Ptr_t* Sym_Man_t_::vMatrNonSymms

Definition at line 62 of file sim.h.

Vec_Ptr_t* Sym_Man_t_::vMatrSymms

Definition at line 61 of file sim.h.

Vec_Ptr_t* Sym_Man_t_::vNodes

Definition at line 51 of file sim.h.

Vec_Int_t* Sym_Man_t_::vPairsNonSym

Definition at line 65 of file sim.h.

Vec_Int_t* Sym_Man_t_::vPairsSym

Definition at line 64 of file sim.h.

Vec_Int_t* Sym_Man_t_::vPairsTotal

Definition at line 63 of file sim.h.

Vec_Ptr_t* Sym_Man_t_::vSim

Definition at line 56 of file sim.h.

Vec_Ptr_t* Sym_Man_t_::vSuppFun

Definition at line 58 of file sim.h.

Vec_Vec_t* Sym_Man_t_::vSupports

Definition at line 59 of file sim.h.

Vec_Int_t* Sym_Man_t_::vVarsU

Definition at line 71 of file sim.h.

Vec_Int_t* Sym_Man_t_::vVarsV

Definition at line 72 of file sim.h.

---

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

• src/opt/sim/sim.h