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

Public Attributes

int nBI
 
int nBO
 
int nBI_miss
 
int nBO_miss
 
int nInternal
 
int nExtra
 
int nMerged_spec
 
int nMerged_impl
 
int nNode_spec
 
int nNode_impl
 
int nNode_patch
 
int nNode_patched
 
int fVerbose
 
int combLoop_spec
 
int combLoop_impl
 
int eq_out
 
int eq_res
 
int nChoice_spec
 
int nChoice_impl
 
int feedthrough
 
int maxNumClass
 
Vec_Ptr_t * vBmiter2Spec
 
Vec_Ptr_t * vBmiter2Impl
 
Vec_Bit_t * vSpec2Impl_phase
 
Vec_Int_t * vImpl2Bmiter
 
Vec_Int_t * vSpec2Bmiter
 
Vec_Int_t * vBI
 
Vec_Int_t * vBO
 
Vec_Int_t * vEI_spec
 
Vec_Int_t * vEO_spec
 
Vec_Int_t * vEI_impl
 
Vec_Int_t * vEO_impl
 
Vec_Bit_t * vEI_phase
 
Vec_Bit_t * vEO_phase
 

Detailed Description

Definition at line 15 of file giaBound.c.

Member Data Documentation

◆ combLoop_impl

int Bnd_Man_t_::combLoop_impl

Definition at line 34 of file giaBound.c.

◆ combLoop_spec

int Bnd_Man_t_::combLoop_spec

Definition at line 33 of file giaBound.c.

◆ eq_out

int Bnd_Man_t_::eq_out

Definition at line 35 of file giaBound.c.

◆ eq_res

int Bnd_Man_t_::eq_res

Definition at line 36 of file giaBound.c.

◆ feedthrough

int Bnd_Man_t_::feedthrough

Definition at line 39 of file giaBound.c.

◆ fVerbose

int Bnd_Man_t_::fVerbose

Definition at line 31 of file giaBound.c.

◆ maxNumClass

int Bnd_Man_t_::maxNumClass

Definition at line 41 of file giaBound.c.

◆ nBI

int Bnd_Man_t_::nBI

Definition at line 17 of file giaBound.c.

◆ nBI_miss

int Bnd_Man_t_::nBI_miss

Definition at line 19 of file giaBound.c.

◆ nBO

int Bnd_Man_t_::nBO

Definition at line 18 of file giaBound.c.

◆ nBO_miss

int Bnd_Man_t_::nBO_miss

Definition at line 20 of file giaBound.c.

◆ nChoice_impl

int Bnd_Man_t_::nChoice_impl

Definition at line 38 of file giaBound.c.

◆ nChoice_spec

int Bnd_Man_t_::nChoice_spec

Definition at line 37 of file giaBound.c.

◆ nExtra

int Bnd_Man_t_::nExtra

Definition at line 22 of file giaBound.c.

◆ nInternal

int Bnd_Man_t_::nInternal

Definition at line 21 of file giaBound.c.

◆ nMerged_impl

int Bnd_Man_t_::nMerged_impl

Definition at line 24 of file giaBound.c.

◆ nMerged_spec

int Bnd_Man_t_::nMerged_spec

Definition at line 23 of file giaBound.c.

◆ nNode_impl

int Bnd_Man_t_::nNode_impl

Definition at line 27 of file giaBound.c.

◆ nNode_patch

int Bnd_Man_t_::nNode_patch

Definition at line 28 of file giaBound.c.

◆ nNode_patched

int Bnd_Man_t_::nNode_patched

Definition at line 29 of file giaBound.c.

◆ nNode_spec

int Bnd_Man_t_::nNode_spec

Definition at line 26 of file giaBound.c.

◆ vBI

Vec_Int_t* Bnd_Man_t_::vBI

Definition at line 50 of file giaBound.c.

◆ vBmiter2Impl

Vec_Ptr_t* Bnd_Man_t_::vBmiter2Impl

Definition at line 44 of file giaBound.c.

◆ vBmiter2Spec

Vec_Ptr_t* Bnd_Man_t_::vBmiter2Spec

Definition at line 43 of file giaBound.c.

◆ vBO

Vec_Int_t* Bnd_Man_t_::vBO

Definition at line 51 of file giaBound.c.

◆ vEI_impl

Vec_Int_t* Bnd_Man_t_::vEI_impl

Definition at line 54 of file giaBound.c.

◆ vEI_phase

Vec_Bit_t* Bnd_Man_t_::vEI_phase

Definition at line 56 of file giaBound.c.

◆ vEI_spec

Vec_Int_t* Bnd_Man_t_::vEI_spec

Definition at line 52 of file giaBound.c.

◆ vEO_impl

Vec_Int_t* Bnd_Man_t_::vEO_impl

Definition at line 55 of file giaBound.c.

◆ vEO_phase

Vec_Bit_t* Bnd_Man_t_::vEO_phase

Definition at line 57 of file giaBound.c.

◆ vEO_spec

Vec_Int_t* Bnd_Man_t_::vEO_spec

Definition at line 53 of file giaBound.c.

◆ vImpl2Bmiter

Vec_Int_t* Bnd_Man_t_::vImpl2Bmiter

Definition at line 47 of file giaBound.c.

◆ vSpec2Bmiter

Vec_Int_t* Bnd_Man_t_::vSpec2Bmiter

Definition at line 48 of file giaBound.c.

◆ vSpec2Impl_phase

Vec_Bit_t* Bnd_Man_t_::vSpec2Impl_phase

Definition at line 45 of file giaBound.c.

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