#include <sim.h>

Collaboration diagram for Sym_Man_t_:

[legend]

Public Attributes
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.

Member Data Documentation

◆ iOutput

int Sym_Man_t_::iOutput

Definition at line 75 of file sim.h.

◆ iVar1

int Sym_Man_t_::iVar1

Definition at line 76 of file sim.h.

◆ iVar1Old

int Sym_Man_t_::iVar1Old

Definition at line 78 of file sim.h.

◆ iVar2

int Sym_Man_t_::iVar2

Definition at line 77 of file sim.h.

◆ iVar2Old

int Sym_Man_t_::iVar2Old

Definition at line 79 of file sim.h.

◆ nInputs

int Sym_Man_t_::nInputs

Definition at line 54 of file sim.h.

◆ nOutputs

int Sym_Man_t_::nOutputs

Definition at line 55 of file sim.h.

◆ nPairsNonSymm

int Sym_Man_t_::nPairsNonSymm

Definition at line 87 of file sim.h.

◆ nPairsRem

int Sym_Man_t_::nPairsRem

Definition at line 88 of file sim.h.

◆ nPairsSymm

int Sym_Man_t_::nPairsSymm

Definition at line 85 of file sim.h.

◆ nPairsSymmStr

int Sym_Man_t_::nPairsSymmStr

Definition at line 86 of file sim.h.

◆ nPairsTotal

int Sym_Man_t_::nPairsTotal

Definition at line 89 of file sim.h.

◆ nSatRuns

int Sym_Man_t_::nSatRuns

Definition at line 81 of file sim.h.

◆ nSatRunsSat

int Sym_Man_t_::nSatRunsSat

Definition at line 82 of file sim.h.

◆ nSatRunsUnsat

int Sym_Man_t_::nSatRunsUnsat

Definition at line 83 of file sim.h.

◆ nSimWords

int Sym_Man_t_::nSimWords

Definition at line 57 of file sim.h.

◆ pNtk

Abc_Ntk_t* Sym_Man_t_::pNtk

Definition at line 52 of file sim.h.

◆ timeCount

abctime Sym_Man_t_::timeCount

Definition at line 92 of file sim.h.

◆ timeFraig

abctime Sym_Man_t_::timeFraig

Definition at line 95 of file sim.h.

◆ timeMatr

abctime Sym_Man_t_::timeMatr

Definition at line 93 of file sim.h.

◆ timeSat

abctime Sym_Man_t_::timeSat

Definition at line 96 of file sim.h.

◆ timeSim

abctime Sym_Man_t_::timeSim

Definition at line 94 of file sim.h.

◆ timeStruct

abctime Sym_Man_t_::timeStruct

Definition at line 91 of file sim.h.

◆ timeTotal

abctime Sym_Man_t_::timeTotal

Definition at line 97 of file sim.h.

◆ uPatCol

unsigned* Sym_Man_t_::uPatCol

Definition at line 70 of file sim.h.

◆ uPatRand

unsigned* Sym_Man_t_::uPatRand

Definition at line 69 of file sim.h.

◆ uPatRow

unsigned* Sym_Man_t_::uPatRow

Definition at line 71 of file sim.h.

◆ vMatrNonSymms

Vec_Ptr_t* Sym_Man_t_::vMatrNonSymms

Definition at line 64 of file sim.h.

◆ vMatrSymms

Vec_Ptr_t* Sym_Man_t_::vMatrSymms

Definition at line 63 of file sim.h.

◆ vNodes

Vec_Ptr_t* Sym_Man_t_::vNodes

Definition at line 53 of file sim.h.

◆ vPairsNonSym

Vec_Int_t* Sym_Man_t_::vPairsNonSym

Definition at line 67 of file sim.h.

◆ vPairsSym

Vec_Int_t* Sym_Man_t_::vPairsSym

Definition at line 66 of file sim.h.

◆ vPairsTotal

Vec_Int_t* Sym_Man_t_::vPairsTotal

Definition at line 65 of file sim.h.

◆ vSim

Vec_Ptr_t* Sym_Man_t_::vSim

Definition at line 58 of file sim.h.

◆ vSuppFun

Vec_Ptr_t* Sym_Man_t_::vSuppFun

Definition at line 60 of file sim.h.

◆ vSupports

Vec_Vec_t* Sym_Man_t_::vSupports

Definition at line 61 of file sim.h.

◆ vVarsU

Vec_Int_t* Sym_Man_t_::vVarsU

Definition at line 73 of file sim.h.

◆ vVarsV

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:

src/opt/sim/sim.h

Public Attributes