abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Gia_ManSim_t_ Struct Reference

#include <gia.h>

Data Fields

Gia_Man_tpAig
 
Gia_ParSim_tpPars
 
int nWords
 
Vec_Int_tvCis2Ids
 
Vec_Int_tvConsts
 
unsigned * pDataSim
 
unsigned * pDataSimCis
 
unsigned * pDataSimCos
 

Detailed Description

Definition at line 251 of file gia.h.

Field Documentation

int Gia_ManSim_t_::nWords

Definition at line 255 of file gia.h.

Gia_Man_t* Gia_ManSim_t_::pAig

Definition at line 253 of file gia.h.

unsigned* Gia_ManSim_t_::pDataSim

Definition at line 259 of file gia.h.

unsigned* Gia_ManSim_t_::pDataSimCis

Definition at line 260 of file gia.h.

unsigned* Gia_ManSim_t_::pDataSimCos

Definition at line 261 of file gia.h.

Gia_ParSim_t* Gia_ManSim_t_::pPars

Definition at line 254 of file gia.h.

Vec_Int_t* Gia_ManSim_t_::vCis2Ids

Definition at line 256 of file gia.h.

Vec_Int_t* Gia_ManSim_t_::vConsts

Definition at line 257 of file gia.h.


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