Sym_Man_t_ Struct Reference

#include <sim.h>

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
abctime	timeStruct
abctime	timeCount
abctime	timeMatr
abctime	timeSim
abctime	timeFraig
abctime	timeSat
abctime	timeTotal

Detailed Description

Definition at line 49 of file sim.h.

Field Documentation

int Sym_Man_t_::iOutput

Definition at line 75 of file sim.h.

int Sym_Man_t_::iVar1

Definition at line 76 of file sim.h.

int Sym_Man_t_::iVar1Old

Definition at line 78 of file sim.h.

int Sym_Man_t_::iVar2

Definition at line 77 of file sim.h.

int Sym_Man_t_::iVar2Old

Definition at line 79 of file sim.h.

int Sym_Man_t_::nInputs

Definition at line 54 of file sim.h.

int Sym_Man_t_::nOutputs

Definition at line 55 of file sim.h.

int Sym_Man_t_::nPairsNonSymm

Definition at line 87 of file sim.h.

int Sym_Man_t_::nPairsRem

Definition at line 88 of file sim.h.

int Sym_Man_t_::nPairsSymm

Definition at line 85 of file sim.h.

int Sym_Man_t_::nPairsSymmStr

Definition at line 86 of file sim.h.

int Sym_Man_t_::nPairsTotal

Definition at line 89 of file sim.h.

int Sym_Man_t_::nSatRuns

Definition at line 81 of file sim.h.

int Sym_Man_t_::nSatRunsSat

Definition at line 82 of file sim.h.

int Sym_Man_t_::nSatRunsUnsat

Definition at line 83 of file sim.h.

int Sym_Man_t_::nSimWords

Definition at line 57 of file sim.h.

Abc_Ntk_t* Sym_Man_t_::pNtk

Definition at line 52 of file sim.h.

abctime Sym_Man_t_::timeCount

Definition at line 92 of file sim.h.

abctime Sym_Man_t_::timeFraig

Definition at line 95 of file sim.h.

abctime Sym_Man_t_::timeMatr

Definition at line 93 of file sim.h.

abctime Sym_Man_t_::timeSat

Definition at line 96 of file sim.h.

abctime Sym_Man_t_::timeSim

Definition at line 94 of file sim.h.

abctime Sym_Man_t_::timeStruct

Definition at line 91 of file sim.h.

abctime Sym_Man_t_::timeTotal

Definition at line 97 of file sim.h.

unsigned* Sym_Man_t_::uPatCol

Definition at line 70 of file sim.h.

unsigned* Sym_Man_t_::uPatRand

Definition at line 69 of file sim.h.

unsigned* Sym_Man_t_::uPatRow

Definition at line 71 of file sim.h.

Vec_Ptr_t* Sym_Man_t_::vMatrNonSymms

Definition at line 64 of file sim.h.

Vec_Ptr_t* Sym_Man_t_::vMatrSymms

Definition at line 63 of file sim.h.

Vec_Ptr_t* Sym_Man_t_::vNodes

Definition at line 53 of file sim.h.

Vec_Int_t* Sym_Man_t_::vPairsNonSym

Definition at line 67 of file sim.h.

Vec_Int_t* Sym_Man_t_::vPairsSym

Definition at line 66 of file sim.h.

Vec_Int_t* Sym_Man_t_::vPairsTotal

Definition at line 65 of file sim.h.

Vec_Ptr_t* Sym_Man_t_::vSim

Definition at line 58 of file sim.h.

Vec_Ptr_t* Sym_Man_t_::vSuppFun

Definition at line 60 of file sim.h.

Vec_Vec_t* Sym_Man_t_::vSupports

Definition at line 61 of file sim.h.

Vec_Int_t* Sym_Man_t_::vVarsU

Definition at line 73 of file sim.h.

Vec_Int_t* Sym_Man_t_::vVarsV

Definition at line 74 of file sim.h.

---

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

• sim.h