ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Wlc_Obj_t_ Struct Reference

#include <wlc.h>

Public Attributes

unsigned Type: 6
 
unsigned Signed: 1
 
unsigned Mark: 1
 
unsigned Mark2: 1
 
unsigned fIsPo: 1
 
unsigned fIsFi: 1
 
unsigned fXConst: 1
 
unsigned nFanins
 
int End
 
int Beg
 
union { 
 
   int   Fanins [2] 
 
   int *   pFanins [1] 
 
};  
 

Detailed Description

Definition at line 119 of file wlc.h.

Member Data Documentation

◆ [union]

union { ... } Wlc_Obj_t_

◆ Beg

int Wlc_Obj_t_::Beg

Definition at line 130 of file wlc.h.

◆ End

int Wlc_Obj_t_::End

Definition at line 129 of file wlc.h.

◆ Fanins

int Wlc_Obj_t_::Fanins[2]

Definition at line 131 of file wlc.h.

◆ fIsFi

unsigned Wlc_Obj_t_::fIsFi

Definition at line 126 of file wlc.h.

◆ fIsPo

unsigned Wlc_Obj_t_::fIsPo

Definition at line 125 of file wlc.h.

◆ fXConst

unsigned Wlc_Obj_t_::fXConst

Definition at line 127 of file wlc.h.

◆ Mark

unsigned Wlc_Obj_t_::Mark

Definition at line 123 of file wlc.h.

◆ Mark2

unsigned Wlc_Obj_t_::Mark2

Definition at line 124 of file wlc.h.

◆ nFanins

unsigned Wlc_Obj_t_::nFanins

Definition at line 128 of file wlc.h.

◆ pFanins

int* Wlc_Obj_t_::pFanins[1]

Definition at line 132 of file wlc.h.

◆ Signed

unsigned Wlc_Obj_t_::Signed

Definition at line 122 of file wlc.h.

◆ Type

unsigned Wlc_Obj_t_::Type

Definition at line 121 of file wlc.h.


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