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

Public Attributes

Odc_Lit_t iFan0
 
Odc_Lit_t iFan1
 
Odc_Lit_t iNext
 
unsigned short TravId
 
unsigned uData
 
unsigned uMask
 

Detailed Description

Definition at line 35 of file abcOdc.c.

Member Data Documentation

◆ iFan0

Odc_Lit_t Odc_Obj_t_::iFan0

Definition at line 37 of file abcOdc.c.

◆ iFan1

Odc_Lit_t Odc_Obj_t_::iFan1

Definition at line 38 of file abcOdc.c.

◆ iNext

Odc_Lit_t Odc_Obj_t_::iNext

Definition at line 39 of file abcOdc.c.

◆ TravId

unsigned short Odc_Obj_t_::TravId

Definition at line 40 of file abcOdc.c.

◆ uData

unsigned Odc_Obj_t_::uData

Definition at line 41 of file abcOdc.c.

◆ uMask

unsigned Odc_Obj_t_::uMask

Definition at line 42 of file abcOdc.c.

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