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

Public Attributes

unsigned Value: 1
 
unsigned fVisit: 1
 
unsigned fPPi: 1
 
unsigned Prio: 16
 
unsigned Sign: 12
 

Detailed Description

Definition at line 34 of file absGlaOld.c.

Member Data Documentation

◆ fPPi

unsigned Rfn_Obj_t_::fPPi

Definition at line 38 of file absGlaOld.c.

◆ fVisit

unsigned Rfn_Obj_t_::fVisit

Definition at line 37 of file absGlaOld.c.

◆ Prio

unsigned Rfn_Obj_t_::Prio

Definition at line 39 of file absGlaOld.c.

◆ Sign

unsigned Rfn_Obj_t_::Sign

Definition at line 40 of file absGlaOld.c.

◆ Value

unsigned Rfn_Obj_t_::Value

Definition at line 36 of file absGlaOld.c.


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