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

Public Attributes

Sdm_Dsd_t * pDsd6
 
Hsh_IntMan_t * pHash
 
Vec_Int_t * vConfgRes
 
Vec_Wrd_t * vPerm6
 
Vec_Int_t * vMap2Perm
 
char Perm6 [720][6]
 
int nCountDsd [DSD_CLASS_NUM]
 
int nNonDsd
 
int nAllDsd
 

Detailed Description

Definition at line 648 of file extraUtilDsd.c.

Member Data Documentation

◆ nAllDsd

int Sdm_Man_t_::nAllDsd

Definition at line 658 of file extraUtilDsd.c.

◆ nCountDsd

int Sdm_Man_t_::nCountDsd[DSD_CLASS_NUM]

Definition at line 656 of file extraUtilDsd.c.

◆ nNonDsd

int Sdm_Man_t_::nNonDsd

Definition at line 657 of file extraUtilDsd.c.

◆ pDsd6

Sdm_Dsd_t* Sdm_Man_t_::pDsd6

Definition at line 650 of file extraUtilDsd.c.

◆ Perm6

char Sdm_Man_t_::Perm6[720][6]

Definition at line 655 of file extraUtilDsd.c.

◆ pHash

Hsh_IntMan_t* Sdm_Man_t_::pHash

Definition at line 651 of file extraUtilDsd.c.

◆ vConfgRes

Vec_Int_t* Sdm_Man_t_::vConfgRes

Definition at line 652 of file extraUtilDsd.c.

◆ vMap2Perm

Vec_Int_t* Sdm_Man_t_::vMap2Perm

Definition at line 654 of file extraUtilDsd.c.

◆ vPerm6

Vec_Wrd_t* Sdm_Man_t_::vPerm6

Definition at line 653 of file extraUtilDsd.c.

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