ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Dua_Dsd_t_ Struct Reference
Collaboration diagram for Dua_Dsd_t_:
Collaboration graph
[legend]

Public Attributes

int nSupp
 
int nVars
 
int nWords
 
int nObjs
 
int iRoot
 
Dua_Obj_t pObjs [DSD_MAX_VAR]
 
word pTruth [DSD_MAX_WRD]
 

Detailed Description

Definition at line 42 of file dauDsd2.c.

Member Data Documentation

◆ iRoot

int Dua_Dsd_t_::iRoot

Definition at line 48 of file dauDsd2.c.

◆ nObjs

int Dua_Dsd_t_::nObjs

Definition at line 47 of file dauDsd2.c.

◆ nSupp

int Dua_Dsd_t_::nSupp

Definition at line 44 of file dauDsd2.c.

◆ nVars

int Dua_Dsd_t_::nVars

Definition at line 45 of file dauDsd2.c.

◆ nWords

int Dua_Dsd_t_::nWords

Definition at line 46 of file dauDsd2.c.

◆ pObjs

Dua_Obj_t Dua_Dsd_t_::pObjs[DSD_MAX_VAR]

Definition at line 49 of file dauDsd2.c.

◆ pTruth

word Dua_Dsd_t_::pTruth[DSD_MAX_WRD]

Definition at line 50 of file dauDsd2.c.

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