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

Public Attributes

unsigned iFan0g: 8
 
unsigned iFan0n: 12
 
unsigned Type: 12
 
unsigned iFan1g: 8
 
unsigned iFan1n: 12
 
unsigned Weight: 12
 
word Truth
 

Detailed Description

Definition at line 33 of file bdcSpfd.c.

Member Data Documentation

◆ iFan0g

unsigned Bdc_Nod_t_::iFan0g

Definition at line 35 of file bdcSpfd.c.

◆ iFan0n

unsigned Bdc_Nod_t_::iFan0n

Definition at line 36 of file bdcSpfd.c.

◆ iFan1g

unsigned Bdc_Nod_t_::iFan1g

Definition at line 39 of file bdcSpfd.c.

◆ iFan1n

unsigned Bdc_Nod_t_::iFan1n

Definition at line 40 of file bdcSpfd.c.

◆ Truth

word Bdc_Nod_t_::Truth

Definition at line 43 of file bdcSpfd.c.

◆ Type

unsigned Bdc_Nod_t_::Type

Definition at line 37 of file bdcSpfd.c.

◆ Weight

unsigned Bdc_Nod_t_::Weight

Definition at line 41 of file bdcSpfd.c.

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