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

#include <if.h>

Collaboration diagram for If_Obj_t_:
Collaboration graph
[legend]

Public Attributes

unsigned Type: 4
 
unsigned fCompl0: 1
 
unsigned fCompl1: 1
 
unsigned fPhase: 1
 
unsigned fRepr: 1
 
unsigned fMark: 1
 
unsigned fVisit: 1
 
unsigned fSpec: 1
 
unsigned fDriver: 1
 
unsigned fSkipCut: 1
 
unsigned Level: 19
 
int Id
 
int IdPio
 
int nRefs
 
int nVisits
 
int nVisitsCopy
 
If_Obj_t * pFanin0
 
If_Obj_t * pFanin1
 
If_Obj_t * pEquiv
 
float EstRefs
 
float Required
 
float LValue
 
union { 
 
   void *   pCopy 
 
   int   iCopy 
 
};  
 
If_Set_t * pCutSet
 
If_Cut_t CutBest
 

Detailed Description

Definition at line 331 of file if.h.

Member Data Documentation

◆ [union]

union { ... } If_Obj_t_

◆ CutBest

If_Cut_t If_Obj_t_::CutBest

Definition at line 361 of file if.h.

◆ EstRefs

float If_Obj_t_::EstRefs

Definition at line 352 of file if.h.

◆ fCompl0

unsigned If_Obj_t_::fCompl0

Definition at line 334 of file if.h.

◆ fCompl1

unsigned If_Obj_t_::fCompl1

Definition at line 335 of file if.h.

◆ fDriver

unsigned If_Obj_t_::fDriver

Definition at line 341 of file if.h.

◆ fMark

unsigned If_Obj_t_::fMark

Definition at line 338 of file if.h.

◆ fPhase

unsigned If_Obj_t_::fPhase

Definition at line 336 of file if.h.

◆ fRepr

unsigned If_Obj_t_::fRepr

Definition at line 337 of file if.h.

◆ fSkipCut

unsigned If_Obj_t_::fSkipCut

Definition at line 342 of file if.h.

◆ fSpec

unsigned If_Obj_t_::fSpec

Definition at line 340 of file if.h.

◆ fVisit

unsigned If_Obj_t_::fVisit

Definition at line 339 of file if.h.

◆ iCopy

int If_Obj_t_::iCopy

Definition at line 357 of file if.h.

◆ Id

int If_Obj_t_::Id

Definition at line 344 of file if.h.

◆ IdPio

int If_Obj_t_::IdPio

Definition at line 345 of file if.h.

◆ Level

unsigned If_Obj_t_::Level

Definition at line 343 of file if.h.

◆ LValue

float If_Obj_t_::LValue

Definition at line 354 of file if.h.

◆ nRefs

int If_Obj_t_::nRefs

Definition at line 346 of file if.h.

◆ nVisits

int If_Obj_t_::nVisits

Definition at line 347 of file if.h.

◆ nVisitsCopy

int If_Obj_t_::nVisitsCopy

Definition at line 348 of file if.h.

◆ pCopy

void* If_Obj_t_::pCopy

Definition at line 356 of file if.h.

◆ pCutSet

If_Set_t* If_Obj_t_::pCutSet

Definition at line 360 of file if.h.

◆ pEquiv

If_Obj_t* If_Obj_t_::pEquiv

Definition at line 351 of file if.h.

◆ pFanin0

If_Obj_t* If_Obj_t_::pFanin0

Definition at line 349 of file if.h.

◆ pFanin1

If_Obj_t* If_Obj_t_::pFanin1

Definition at line 350 of file if.h.

◆ Required

float If_Obj_t_::Required

Definition at line 353 of file if.h.

◆ Type

unsigned If_Obj_t_::Type

Definition at line 333 of file if.h.

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