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

Public Attributes

Aig_Man_t * pAig
 
Gia_ParLlb_t * pPars
 
DdManager * dd
 
DdNode * bBad
 
DdNode * bReached
 
DdNode * bCurrent
 
DdNode * bNext
 
Vec_Ptr_t * vRings
 
Vec_Ptr_t * vRoots
 
Vec_Int_t * vOrder
 
Vec_Int_t * vVars2Q
 
abctime timeImage
 
abctime timeRemap
 
abctime timeReo
 
abctime timeOther
 
abctime timeTotal
 

Detailed Description

Definition at line 33 of file llb4Nonlin.c.

Member Data Documentation

◆ bBad

DdNode* Llb_Mnx_t_::bBad

Definition at line 41 of file llb4Nonlin.c.

◆ bCurrent

DdNode* Llb_Mnx_t_::bCurrent

Definition at line 43 of file llb4Nonlin.c.

◆ bNext

DdNode* Llb_Mnx_t_::bNext

Definition at line 44 of file llb4Nonlin.c.

◆ bReached

DdNode* Llb_Mnx_t_::bReached

Definition at line 42 of file llb4Nonlin.c.

◆ dd

DdManager* Llb_Mnx_t_::dd

Definition at line 40 of file llb4Nonlin.c.

◆ pAig

Aig_Man_t* Llb_Mnx_t_::pAig

Definition at line 36 of file llb4Nonlin.c.

◆ pPars

Gia_ParLlb_t* Llb_Mnx_t_::pPars

Definition at line 37 of file llb4Nonlin.c.

◆ timeImage

abctime Llb_Mnx_t_::timeImage

Definition at line 52 of file llb4Nonlin.c.

◆ timeOther

abctime Llb_Mnx_t_::timeOther

Definition at line 55 of file llb4Nonlin.c.

◆ timeRemap

abctime Llb_Mnx_t_::timeRemap

Definition at line 53 of file llb4Nonlin.c.

◆ timeReo

abctime Llb_Mnx_t_::timeReo

Definition at line 54 of file llb4Nonlin.c.

◆ timeTotal

abctime Llb_Mnx_t_::timeTotal

Definition at line 56 of file llb4Nonlin.c.

◆ vOrder

Vec_Int_t* Llb_Mnx_t_::vOrder

Definition at line 49 of file llb4Nonlin.c.

◆ vRings

Vec_Ptr_t* Llb_Mnx_t_::vRings

Definition at line 45 of file llb4Nonlin.c.

◆ vRoots

Vec_Ptr_t* Llb_Mnx_t_::vRoots

Definition at line 46 of file llb4Nonlin.c.

◆ vVars2Q

Vec_Int_t* Llb_Mnx_t_::vVars2Q

Definition at line 50 of file llb4Nonlin.c.

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