ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Cec_ManSim_t_ Struct Reference

#include <cecInt.h>

Collaboration diagram for Cec_ManSim_t_:
Collaboration graph
[legend]

Public Attributes

Gia_Man_t * pAig
 
Cec_ParSim_t * pPars
 
int nWords
 
int * pSimInfo
 
unsigned * pMems
 
int nWordsAlloc
 
int nMems
 
int nMemsMax
 
int MemFree
 
int nWordsOld
 
Vec_Ptr_t * vCiSimInfo
 
Vec_Ptr_t * vCoSimInfo
 
void ** pCexes
 
int iOut
 
int nOuts
 
Abc_Cex_t * pCexComb
 
Abc_Cex_t * pBestState
 
int * pScores
 
Vec_Int_t * vClassOld
 
Vec_Int_t * vClassNew
 
Vec_Int_t * vClassTemp
 
Vec_Int_t * vRefinedC
 

Detailed Description

Definition at line 114 of file cecInt.h.

Member Data Documentation

◆ iOut

int Cec_ManSim_t_::iOut

Definition at line 133 of file cecInt.h.

◆ MemFree

int Cec_ManSim_t_::MemFree

Definition at line 126 of file cecInt.h.

◆ nMems

int Cec_ManSim_t_::nMems

Definition at line 124 of file cecInt.h.

◆ nMemsMax

int Cec_ManSim_t_::nMemsMax

Definition at line 125 of file cecInt.h.

◆ nOuts

int Cec_ManSim_t_::nOuts

Definition at line 134 of file cecInt.h.

◆ nWords

int Cec_ManSim_t_::nWords

Definition at line 119 of file cecInt.h.

◆ nWordsAlloc

int Cec_ManSim_t_::nWordsAlloc

Definition at line 123 of file cecInt.h.

◆ nWordsOld

int Cec_ManSim_t_::nWordsOld

Definition at line 127 of file cecInt.h.

◆ pAig

Gia_Man_t* Cec_ManSim_t_::pAig

Definition at line 117 of file cecInt.h.

◆ pBestState

Abc_Cex_t* Cec_ManSim_t_::pBestState

Definition at line 136 of file cecInt.h.

◆ pCexComb

Abc_Cex_t* Cec_ManSim_t_::pCexComb

Definition at line 135 of file cecInt.h.

◆ pCexes

void** Cec_ManSim_t_::pCexes

Definition at line 132 of file cecInt.h.

◆ pMems

unsigned* Cec_ManSim_t_::pMems

Definition at line 122 of file cecInt.h.

◆ pPars

Cec_ParSim_t* Cec_ManSim_t_::pPars

Definition at line 118 of file cecInt.h.

◆ pScores

int* Cec_ManSim_t_::pScores

Definition at line 138 of file cecInt.h.

◆ pSimInfo

int* Cec_ManSim_t_::pSimInfo

Definition at line 121 of file cecInt.h.

◆ vCiSimInfo

Vec_Ptr_t* Cec_ManSim_t_::vCiSimInfo

Definition at line 129 of file cecInt.h.

◆ vClassNew

Vec_Int_t* Cec_ManSim_t_::vClassNew

Definition at line 141 of file cecInt.h.

◆ vClassOld

Vec_Int_t* Cec_ManSim_t_::vClassOld

Definition at line 140 of file cecInt.h.

◆ vClassTemp

Vec_Int_t* Cec_ManSim_t_::vClassTemp

Definition at line 142 of file cecInt.h.

◆ vCoSimInfo

Vec_Ptr_t* Cec_ManSim_t_::vCoSimInfo

Definition at line 130 of file cecInt.h.

◆ vRefinedC

Vec_Int_t* Cec_ManSim_t_::vRefinedC

Definition at line 143 of file cecInt.h.

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