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

Public Attributes

int nVars
 
int nAnds
 
int nClauses
 
word uTruth
 
char * pStr
 

Detailed Description

Definition at line 39 of file extraUtilDsd.c.

Member Data Documentation

◆ nAnds

int Sdm_Dsd_t_::nAnds

Definition at line 42 of file extraUtilDsd.c.

◆ nClauses

int Sdm_Dsd_t_::nClauses

Definition at line 43 of file extraUtilDsd.c.

◆ nVars

int Sdm_Dsd_t_::nVars

Definition at line 41 of file extraUtilDsd.c.

◆ pStr

char* Sdm_Dsd_t_::pStr

Definition at line 45 of file extraUtilDsd.c.

◆ uTruth

word Sdm_Dsd_t_::uTruth

Definition at line 44 of file extraUtilDsd.c.

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