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

Public Attributes

int nWords
 
int nLimit
 
int nDivsMax
 
int iChoice
 
int fUseXor
 
int fDebug
 
int fVerbose
 
int fVeryVerbose
 
Vec_Ptr_t * vDivs
 
Vec_Int_t * vGates
 
Vec_Int_t * vUnateLits [2]
 
Vec_Int_t * vNotUnateVars [2]
 
Vec_Int_t * vUnatePairs [2]
 
Vec_Int_t * vBinateVars
 
Vec_Int_t * vUnateLitsW [2]
 
Vec_Int_t * vUnatePairsW [2]
 
Vec_Wec_t * vSorter
 
word * pSets [2]
 
word * pDivA
 
word * pDivB
 
Vec_Wrd_t * vSims
 

Detailed Description

Definition at line 290 of file giaResub.c.

Member Data Documentation

◆ fDebug

int Gia_ResbMan_t_::fDebug

Definition at line 297 of file giaResub.c.

◆ fUseXor

int Gia_ResbMan_t_::fUseXor

Definition at line 296 of file giaResub.c.

◆ fVerbose

int Gia_ResbMan_t_::fVerbose

Definition at line 298 of file giaResub.c.

◆ fVeryVerbose

int Gia_ResbMan_t_::fVeryVerbose

Definition at line 299 of file giaResub.c.

◆ iChoice

int Gia_ResbMan_t_::iChoice

Definition at line 295 of file giaResub.c.

◆ nDivsMax

int Gia_ResbMan_t_::nDivsMax

Definition at line 294 of file giaResub.c.

◆ nLimit

int Gia_ResbMan_t_::nLimit

Definition at line 293 of file giaResub.c.

◆ nWords

int Gia_ResbMan_t_::nWords

Definition at line 292 of file giaResub.c.

◆ pDivA

word* Gia_ResbMan_t_::pDivA

Definition at line 310 of file giaResub.c.

◆ pDivB

word* Gia_ResbMan_t_::pDivB

Definition at line 311 of file giaResub.c.

◆ pSets

word* Gia_ResbMan_t_::pSets[2]

Definition at line 309 of file giaResub.c.

◆ vBinateVars

Vec_Int_t* Gia_ResbMan_t_::vBinateVars

Definition at line 305 of file giaResub.c.

◆ vDivs

Vec_Ptr_t* Gia_ResbMan_t_::vDivs

Definition at line 300 of file giaResub.c.

◆ vGates

Vec_Int_t* Gia_ResbMan_t_::vGates

Definition at line 301 of file giaResub.c.

◆ vNotUnateVars

Vec_Int_t* Gia_ResbMan_t_::vNotUnateVars[2]

Definition at line 303 of file giaResub.c.

◆ vSims

Vec_Wrd_t* Gia_ResbMan_t_::vSims

Definition at line 312 of file giaResub.c.

◆ vSorter

Vec_Wec_t* Gia_ResbMan_t_::vSorter

Definition at line 308 of file giaResub.c.

◆ vUnateLits

Vec_Int_t* Gia_ResbMan_t_::vUnateLits[2]

Definition at line 302 of file giaResub.c.

◆ vUnateLitsW

Vec_Int_t* Gia_ResbMan_t_::vUnateLitsW[2]

Definition at line 306 of file giaResub.c.

◆ vUnatePairs

Vec_Int_t* Gia_ResbMan_t_::vUnatePairs[2]

Definition at line 304 of file giaResub.c.

◆ vUnatePairsW

Vec_Int_t* Gia_ResbMan_t_::vUnatePairsW[2]

Definition at line 307 of file giaResub.c.

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