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

#include <dsdInt.h>

Collaboration diagram for Dsd_Node_t_:
Collaboration graph
[legend]

Public Attributes

Dsd_Type_t Type
 
DdNode * G
 
DdNode * S
 
Dsd_Node_t ** pDecs
 
word Mark
 
short nDecs
 
short nVisits
 

Detailed Description

Definition at line 54 of file dsdInt.h.

Member Data Documentation

◆ G

DdNode* Dsd_Node_t_::G

Definition at line 57 of file dsdInt.h.

◆ Mark

word Dsd_Node_t_::Mark

Definition at line 60 of file dsdInt.h.

◆ nDecs

short Dsd_Node_t_::nDecs

Definition at line 61 of file dsdInt.h.

◆ nVisits

short Dsd_Node_t_::nVisits

Definition at line 62 of file dsdInt.h.

◆ pDecs

Dsd_Node_t** Dsd_Node_t_::pDecs

Definition at line 59 of file dsdInt.h.

◆ S

DdNode* Dsd_Node_t_::S

Definition at line 58 of file dsdInt.h.

◆ Type

Dsd_Type_t Dsd_Node_t_::Type

Definition at line 56 of file dsdInt.h.

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