ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Gem_Man_t_ Struct Reference
Collaboration diagram for Gem_Man_t_:

Public Attributes

int nVars
 
int nWords
 
int nObjsAlloc
 
int nObjs
 
Gem_Obj_tpObjs
 
Vec_Mem_tvTtMem
 
word ** pTtElems
 
int fVerbose
 

Detailed Description

Definition at line 41 of file extraUtilMaj.c.

Member Data Documentation

◆ fVerbose

int Gem_Man_t_::fVerbose

Definition at line 50 of file extraUtilMaj.c.

◆ nObjs

int Gem_Man_t_::nObjs

Definition at line 46 of file extraUtilMaj.c.

◆ nObjsAlloc

int Gem_Man_t_::nObjsAlloc

Definition at line 45 of file extraUtilMaj.c.

◆ nVars

int Gem_Man_t_::nVars

Definition at line 43 of file extraUtilMaj.c.

◆ nWords

int Gem_Man_t_::nWords

Definition at line 44 of file extraUtilMaj.c.

◆ pObjs

Gem_Obj_t* Gem_Man_t_::pObjs

Definition at line 47 of file extraUtilMaj.c.

◆ pTtElems

word** Gem_Man_t_::pTtElems

Definition at line 49 of file extraUtilMaj.c.

◆ vTtMem

Vec_Mem_t* Gem_Man_t_::vTtMem

Definition at line 48 of file extraUtilMaj.c.


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