ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Gia_Rsb2Man_t_ Struct Reference
Collaboration diagram for Gia_Rsb2Man_t_:
Collaboration graph
[legend]

Public Attributes

int nDivsMax
 
int nLevelIncrease
 
int fUseXor
 
int fUseZeroCost
 
int fDebug
 
int fVerbose
 
int nObjs
 
int nPis
 
int nNodes
 
int nPos
 
int iFirstPo
 
int Level
 
int nMffc
 
Vec_Int_t vObjs
 
Vec_Wrd_t vSims
 
Vec_Ptr_t vpDivs
 
Vec_Int_t vDivs
 
Vec_Int_t vLevels
 
Vec_Int_t vRefs
 
Vec_Int_t vCopies
 
Vec_Int_t vTried
 
word Truth0
 
word Truth1
 
word CareSet
 

Detailed Description

Definition at line 34 of file giaResub2.c.

Member Data Documentation

◆ CareSet

word Gia_Rsb2Man_t_::CareSet

Definition at line 62 of file giaResub2.c.

◆ fDebug

int Gia_Rsb2Man_t_::fDebug

Definition at line 41 of file giaResub2.c.

◆ fUseXor

int Gia_Rsb2Man_t_::fUseXor

Definition at line 39 of file giaResub2.c.

◆ fUseZeroCost

int Gia_Rsb2Man_t_::fUseZeroCost

Definition at line 40 of file giaResub2.c.

◆ fVerbose

int Gia_Rsb2Man_t_::fVerbose

Definition at line 42 of file giaResub2.c.

◆ iFirstPo

int Gia_Rsb2Man_t_::iFirstPo

Definition at line 48 of file giaResub2.c.

◆ Level

int Gia_Rsb2Man_t_::Level

Definition at line 49 of file giaResub2.c.

◆ nDivsMax

int Gia_Rsb2Man_t_::nDivsMax

Definition at line 37 of file giaResub2.c.

◆ nLevelIncrease

int Gia_Rsb2Man_t_::nLevelIncrease

Definition at line 38 of file giaResub2.c.

◆ nMffc

int Gia_Rsb2Man_t_::nMffc

Definition at line 50 of file giaResub2.c.

◆ nNodes

int Gia_Rsb2Man_t_::nNodes

Definition at line 46 of file giaResub2.c.

◆ nObjs

int Gia_Rsb2Man_t_::nObjs

Definition at line 44 of file giaResub2.c.

◆ nPis

int Gia_Rsb2Man_t_::nPis

Definition at line 45 of file giaResub2.c.

◆ nPos

int Gia_Rsb2Man_t_::nPos

Definition at line 47 of file giaResub2.c.

◆ Truth0

word Gia_Rsb2Man_t_::Truth0

Definition at line 60 of file giaResub2.c.

◆ Truth1

word Gia_Rsb2Man_t_::Truth1

Definition at line 61 of file giaResub2.c.

◆ vCopies

Vec_Int_t Gia_Rsb2Man_t_::vCopies

Definition at line 58 of file giaResub2.c.

◆ vDivs

Vec_Int_t Gia_Rsb2Man_t_::vDivs

Definition at line 55 of file giaResub2.c.

◆ vLevels

Vec_Int_t Gia_Rsb2Man_t_::vLevels

Definition at line 56 of file giaResub2.c.

◆ vObjs

Vec_Int_t Gia_Rsb2Man_t_::vObjs

Definition at line 52 of file giaResub2.c.

◆ vpDivs

Vec_Ptr_t Gia_Rsb2Man_t_::vpDivs

Definition at line 54 of file giaResub2.c.

◆ vRefs

Vec_Int_t Gia_Rsb2Man_t_::vRefs

Definition at line 57 of file giaResub2.c.

◆ vSims

Vec_Wrd_t Gia_Rsb2Man_t_::vSims

Definition at line 53 of file giaResub2.c.

◆ vTried

Vec_Int_t Gia_Rsb2Man_t_::vTried

Definition at line 59 of file giaResub2.c.

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